Geodesic
Monadic basic algebras
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 47 (2008) no. 1, pp. 27-36 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as an algebraic formalization of the many-valued predicate calculus described formerly by J. D. Rutledge [9]. This was also genaralized by J. Rachůnek and F. Švrček for commutative residuated $\ell $-monoids since MV-algebras form a particular case of this structure. Basic algebras serve as a tool for the investigations of much more wide class of non-classical logics (including MV-algebras, orthomodular lattices and their generalizations). This motivates us to introduce the monadic basic algebra as a common generalization of the mentioned structures.
The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as an algebraic formalization of the many-valued predicate calculus described formerly by J. D. Rutledge [9]. This was also genaralized by J. Rachůnek and F. Švrček for commutative residuated $\ell $-monoids since MV-algebras form a particular case of this structure. Basic algebras serve as a tool for the investigations of much more wide class of non-classical logics (including MV-algebras, orthomodular lattices and their generalizations). This motivates us to introduce the monadic basic algebra as a common generalization of the mentioned structures.
Classification : 03G25, 06D35
Keywords: basic algebra; monadic basic algebra; existential quantifier; universal quantifier; lattice with section antitone involution 
@article{AUPO_2008_47_1_a2,
     author = {Chajda, Ivan and Kola\v{r}{\'\i}k, Miroslav},
     title = {Monadic basic algebras},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {27--36},
     year = {2008},
     volume = {47},
     number = {1},
     mrnumber = {2482714},
     zbl = {1172.06006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2008_47_1_a2/}
}
TY  - JOUR
AU  - Chajda, Ivan
AU  - Kolařík, Miroslav
TI  - Monadic basic algebras
JO  - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY  - 2008
SP  - 27
EP  - 36
VL  - 47
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AUPO_2008_47_1_a2/
LA  - en
ID  - AUPO_2008_47_1_a2
ER  - 
%0 Journal Article
%A Chajda, Ivan
%A Kolařík, Miroslav
%T Monadic basic algebras
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 2008
%P 27-36
%V 47
%N 1
%U http://geodesic.mathdoc.fr/item/AUPO_2008_47_1_a2/
%G en
%F AUPO_2008_47_1_a2
Chajda, Ivan; Kolařík, Miroslav. Monadic basic algebras. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 47 (2008) no. 1, pp. 27-36. http://geodesic.mathdoc.fr/item/AUPO_2008_47_1_a2/

[1] Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras. Discuss. Math., Gen. Algebra Appl. 24 (2004), 31–42. | MR | Zbl

[2] Chajda I., Halaš R.: A basic algebra is an MV-algebra if and only if it is a BCC-algebra. Intern. J. Theor. Phys., to appear. | MR | Zbl

[3] Chajda I., Halaš R., Kühr J.: Distributive lattices with sectionally antitone involutions. Acta Sci. Math. (Szeged) 71 (2005), 19–33. | MR | Zbl

[4] Chajda I., Halaš R., Kühr J.: Many-valued quantum algebras. Algebra Universalis, to appear. | MR | Zbl

[5] Chajda I., Halaš R., Kühr J.: Semilattice Structures. : Heldermann Verlag, Lemgo, Germany. 2007. | MR

[6] Chajda I., Kolařík M.: Independence of axiom system of basic algebras. Soft Computing, to appear, DOI 10.1007/s00500-008-0291-2. | Zbl

[7] Di Nola A., Grigolia R.: On monadic MV-algebras. Ann. Pure Appl. Logic 128 (2006), 212–218. | MR | Zbl

[8] Rachůnek J., Švrček F.: Monadic bounded commutative residuated $\ell $-monoids. Order, to appear. | MR | Zbl

[9] Rutledge J. D.: On the definition of an infinitely-many-valued predicate calculus. J. Symbolic Logic 25 (1960), 212–216. | MR | Zbl