Results 41 to 50 of about 2,056 (173)
Two-valued states on Baer $^*$-semigroups [PDF]
, 2014 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-
de Ronde, Christian +2 more
core +3 more sources
New topology in residuated lattices
Open Mathematics, 2018 In this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space.
Holdon L.C.
doaj +1 more source
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Residuated skew lattices with modal operator
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023 In this paper, we define modal operators in residuated skew lattices and prove some fundamental properties of monotone modal operators on residuated skew lattices (RSL). We prove that the composition of two modal operators is a modal operator if and only
Koohnavard Roghayeh +1 more
doaj +1 more source
Left and right compatibility of strict orders with fuzzy tolerance and fuzzy equivalence relations [PDF]
, 2015 The notion of extensionality of a fuzzy relation w.r.t. a fuzzy equivalence was first introduced by Hohle and Blanchard. Belohlavek introduced a similar definition of compatibility of a fuzzy relation w.r.t. a fuzzy equality.
De Baets, Bernard +2 more
core +2 more sources
Untyping Typed Algebras and Colouring Cyclic Linear Logic [PDF]
Logical Methods in Computer Science, 2012 We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations.
Damien Pous
doaj +1 more source
n-Fold Fantastic and n-Fold Involutive Ideals in Bounded Commutative Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, we introduce the concepts of n-fold obstinate ideals, n-fold normal ideals, n-fold fantastic ideals and n-fold involutive ideals in residuated lattices, state and prove some of their properties.
Yinga Fabrice Tchoua +2 more
doaj +1 more source
Fuzzy inequational logic [PDF]
, 2015 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
Vychodil, Vilem
core +1 more source
Commutative idempotent residuated lattices [PDF]
Czechoslovak Mathematical Journal, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources