Quantifiers on lattices with an antitone involution

• Autorzy: Chajda I. , Langer H.
• Języki publikacji: EN

Abstrakty

EN

Quantifiers on lattices with an antitone involution are considered and it is proved that the poset of existential quantifiers is antiisomorphic to the poset of relatively complete sublattices.

Słowa kluczowe

EN

lattice; involution

PL

krata; potęgowanie

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2009
• Tom: Vol. 42, nr 2
• Strony: 241--246
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Chajda I.

autor

Langer H.

• Palacky University Olomouc Department of Algebra and Geometry Tomkova 40, 77900 Olomouc, Czech Republic,

Bibliografia

• [1] I. Chajda, M. Kolařik, Monadic basic algebras, Acta Univ. Palack. Olomuc. Fac. Rerum. Natur. Math., to appear.
• [2] A. Di Nola, R. Grigolia, On monadic MV-algebras, Ann. Pure Appl. Logic 128 (2004), 125-139.
• [3] J. Rachůnek, F. Švrček, Monadic bounded commutative residuated I-monoids, preprint, 2006.
• [4] J. D. Rutledge, On the definition of an infinitely-many-valued predicate calculus, J. Symbolic Logic 25 (1960), 212-216.