766,874 research outputs found
A note on drastic product logic
The drastic product is known to be the smallest -norm, since whenever . This -norm is not left-continuous, and hence it
does not admit a residuum. So, there are no drastic product -norm based
many-valued logics, in the sense of [EG01]. However, if we renounce standard
completeness, we can study the logic whose semantics is provided by those MTL
chains whose monoidal operation is the drastic product. This logic is called
in [NOG06]. In this note we justify the study of this
logic, which we rechristen DP (for drastic product), by means of some
interesting properties relating DP and its algebraic semantics to a weakened
law of excluded middle, to the projection operator and to
discriminator varieties. We shall show that the category of finite DP-algebras
is dually equivalent to a category whose objects are multisets of finite
chains. This duality allows us to classify all axiomatic extensions of DP, and
to compute the free finitely generated DP-algebras.Comment: 11 pages, 3 figure
Toward a probability theory for product logic: states, integral representation and reasoning
The aim of this paper is to extend probability theory from the classical to
the product t-norm fuzzy logic setting. More precisely, we axiomatize a
generalized notion of finitely additive probability for product logic formulas,
called state, and show that every state is the Lebesgue integral with respect
to a unique regular Borel probability measure. Furthermore, the relation
between states and measures is shown to be one-one. In addition, we study
geometrical properties of the convex set of states and show that extremal
states, i.e., the extremal points of the state space, are the same as the
truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal
logic for probabilistic reasoning on product logic events and prove soundness
and completeness with respect to probabilistic spaces, where the algebra is a
free product algebra and the measure is a state in the above sense.Comment: 27 pages, 1 figur
Model Checking Synchronized Products of Infinite Transition Systems
Formal verification using the model checking paradigm has to deal with two
aspects: The system models are structured, often as products of components, and
the specification logic has to be expressive enough to allow the formalization
of reachability properties. The present paper is a study on what can be
achieved for infinite transition systems under these premises. As models we
consider products of infinite transition systems with different synchronization
constraints. We introduce finitely synchronized transition systems, i.e.
product systems which contain only finitely many (parameterized) synchronized
transitions, and show that the decidability of FO(R), first-order logic
extended by reachability predicates, of the product system can be reduced to
the decidability of FO(R) of the components. This result is optimal in the
following sense: (1) If we allow semifinite synchronization, i.e. just in one
component infinitely many transitions are synchronized, the FO(R)-theory of the
product system is in general undecidable. (2) We cannot extend the expressive
power of the logic under consideration. Already a weak extension of first-order
logic with transitive closure, where we restrict the transitive closure
operators to arity one and nesting depth two, is undecidable for an
asynchronous (and hence finitely synchronized) product, namely for the infinite
grid.Comment: 18 page
EF+EX Forest Algebras
We examine languages of unranked forests definable using the temporal
operators EF and EX. We characterize the languages definable in this logic, and
various fragments thereof, using the syntactic forest algebras introduced by
Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient
algorithms for deciding when a given language of forests is definable in this
logic. The proofs are based on understanding the wreath product closures of a
few small algebras, for which we introduce a general ideal theory for forest
algebras. This combines ideas from the work of Bojanczyk and Walukiewicz for
the analogous logics on binary trees and from early work of Stiffler on wreath
product of finite semigroups
Logics of Finite Hankel Rank
We discuss the Feferman-Vaught Theorem in the setting of abstract model
theory for finite structures. We look at sum-like and product-like binary
operations on finite structures and their Hankel matrices. We show the
connection between Hankel matrices and the Feferman-Vaught Theorem. The largest
logic known to satisfy a Feferman-Vaught Theorem for product-like operations is
CFOL, first order logic with modular counting quantifiers. For sum-like
operations it is CMSOL, the corresponding monadic second order logic. We
discuss whether there are maximal logics satisfying Feferman-Vaught Theorems
for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th
birthday. The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-23534-9_1
- âŠ