The Priestley duality for Wajsberg algebras
From MaRDI portal
Publication:753812
DOI10.1007/BF00401552zbMath0717.03026MaRDI QIDQ753812
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
dualityŁukasiewicz logicKleene algebrasWajsberg algebrasinfinite-valued propositional calculiKleene spaceWajsberg space
Other algebras related to logic (03G25) Many-valued logic (03B50) Ordered topological structures (06F30)
Related Items
A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups, A preliminary study of MV-algebras with two quantifiers which commute, Boolean topological distributive lattices and canonical extensions, A simplified duality for implicative lattices and \(l\)-groups, Subalgebras, direct products and associated lattices of MV-algebras, Restricted Priestley dualities and discriminator varieties, Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality, A topological duality for monadic MV-algebras, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, Priestley duality and quotient lattices of many-valued algebras, MV-algebras, infinite dimensional polyhedra, and natural dualities, Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- W-algebras which are Boolean products of members of SR[1 and CW- algebras]
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Super-Łukasiewicz propositional logics
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Coproducts of De Morgan algebras
- Super-Łukasiewicz implicational logics
- Representation of Distributive Lattices by means of ordered Stone Spaces