Results 11 to 20 of about 298,739 (229)
MV-ALGEBRAS AND BL-ALGEBRAS [PDF]
Fiabilitate şi Durabilitate, 2013 This material is studying MV-algebras and BL-algebras in terms of applicability inBoole.Algebrele Boole algebra expanded use in fuzzy logic.
Constantin BOGDAN +1 more
doaj +2 more sources
Annals of Pure and Applied Logic, 2004 The variety MMV of monadic MV-algebras was introduced by Rutledge as an algebraic model for a predicate calculus of Łukasiewicz infinite-valued logic with a single variable. This variety is a generalization of Halmos's monadic Boolean algebras. For every monadic MV-algebra \(A\) it was proved by Rutledge that the set \(E\) of existential elements of ...
DI NOLA, Antonio, GRIGOLIA R.
openaire +5 more sources
State morphism MV-algebras [PDF]
International Journal of Approximate Reasoning, 2011 We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.
Anatolij Dvurecenskij +2 more
openaire +5 more sources
PSEUDO MV-ALGEBRAS SI PSEUDO BL-ALGEBRAS [PDF]
Fiabilitate şi Durabilitate, 2013 This material is studying MV-algebras and BL-algebras in terms of applicability in Boolealgebra.Boole algebras expanded use in fuzzy logic.
Constantin BOGDAN +1 more
doaj +2 more sources
Algebras for parameterised monads [PDF]
, 2009 Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and
Atkey, Robert
core +4 more sources
Reflectional topology in MV-algebras [PDF]
Categories and General Algebraic Structures with Applications, 2022 In this paper, we define soaker ideals in an MV-algebra, and study the relationships between soaker ideals and the other ideals in an involutive MV -algebras.
Fereshteh Forouzesh, Naser Hosseini
doaj +1 more source
Priestley duality for MV-algebras and beyond [PDF]
, 2021 We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations
Gehrke, Mai +5 more
core +2 more sources
$MV$-test spaces versus $MV$-algebras [PDF]
, 2004 summary:In analogy with effect algebras, we introduce the test spaces and $MV$-test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity.
Nola, Antonio Di +3 more
core +3 more sources
Pure Ideals in Residuated Lattices [PDF]
Transactions on Fuzzy Sets and Systems, 2022 Ideals in MV algebras are, by definition, kernels of homomorphism. An ideal is the dual of a filter in some special logical algebras but not in non-regular residuated lattices.
Istrata Mihaela
doaj +1 more source
f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS [PDF]
Journal of Algebraic Systems, 2013 Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples.
L. Kamali Ardakani, Bijan Davvaz
doaj +1 more source