723 research outputs found
Two-valued states on Baer -semigroups
In this paper we develop an algebraic framework that allows us to extend
families of two-valued states on orthomodular lattices to Baer -semigroups.
We apply this general approach to study the full class of two-valued states and
the subclass of Jauch-Piron two-valued states on Baer -semigroups.Comment: Reports on mathematical physics (accepted 2013
Expanding FLew with a Boolean connective
We expand FLew with a unary connective whose algebraic counterpart is the
operation that gives the greatest complemented element below a given argument.
We prove that the expanded logic is conservative and has the Finite Model
Property. We also prove that the corresponding expansion of the class of
residuated lattices is an equational class.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201
Fuzzy inequational logic
We present a logic for reasoning about graded inequalities which generalizes
the ordinary inequational logic used in universal algebra. The logic deals with
atomic predicate formulas of the form of inequalities between terms and
formalizes their semantic entailment and provability in graded setting which
allows to draw partially true conclusions from partially true assumptions. We
follow the Pavelka approach and define general degrees of semantic entailment
and provability using complete residuated lattices as structures of truth
degrees. We prove the logic is Pavelka-style complete. Furthermore, we present
a logic for reasoning about graded if-then rules which is obtained as
particular case of the general result
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
We present a generalisation of the theory of quantitative algebras of
Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras
are not restricted to be metric spaces and can be arbitrary fuzzy relations or
generalised metric spaces, and (ii) the interpretations of the algebraic
operations are not required to be nonexpansive. Our main results include: a
novel sound and complete proof system, the proof that free quantitative
algebras always exist, the proof of strict monadicity of the induced
Free-Forgetful adjunction, the result that all monads (on fuzzy relations) that
lift finitary monads (on sets) admit a quantitative equational presentation.Comment: Appendix remove
- …