Results 41 to 50 of about 2,047 (199)
MV-algebras freely generated by finite Kleene algebras [PDF]
, 2013 If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on homomorphisms.
Aguzzoli, Stefano +2 more
core +1 more source
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.
Dvurecenskij A. +2 more
openaire +3 more sources
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
Tense Operators on BL-algebras and Their Applications
Bulletin of the Section of Logic, 2021 In this paper, the notions of tense operators and tense filters in BL-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense BL-algebras, tense MV-algebras and tense Boolean algebras are investigated ...
Akbar Paad
doaj +1 more source
Pavelka-style completeness in expansions of \L ukasiewicz logic [PDF]
, 2008 An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given.
Freytes, Hector
core +1 more source
Subdirectly Irreducible MV-Algebras [PDF]
Czechoslovak Mathematical Journal, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Study of MV-algebras via derivations
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 The main goal of this paper is to give some representations of MV-algebras in terms of derivations. In this paper, we investigate some properties of implicative and difference derivations and give their characterizations in MV-algebras.
Wang Jun Tao, She Yan Hong, Qian Ting
doaj +1 more source
States on basic algebras [PDF]
Mathematica Bohemica, 2017 States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative.
Ivan Chajda, Helmut Länger
doaj +1 more source
On complete $MV$-algebras [PDF]
Czechoslovak Mathematical Journal, 1995 An element \(x\) of an \(MV\)-algebra (also called a Wajsberg algebra) is called an \(\alpha\)-atom if the interval \([0,x ]\) is a chain of cardinality \(\alpha\). The algebra \(A\) is said to be \(\alpha\)-atomic if for every \(y\in A\setminus \{0\}\) there is an \(\alpha\)-atoms \(x\) such that \(x\leq y\).
openaire +2 more sources
On the geometric theory of local MV-algebras
, 2016 We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of these quotients ...
Caramello, Olivia, Russo, Anna Carla
core +1 more source