W-algebras which are Boolean products of members of SR[1] and CW- algebras

DOI10.1007/BF00372551zbMath0621.03042MaRDI QIDQ1090332

Antoni Torrens Torrell

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

W-algebrasArchimedean Boolean ProductsCW-algebrasmany-valued Lukasiewicz propositional calculus

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items

On the infinite-valued Łukasiewicz logic that preserves degrees of truth, Boolean representation of bounded BCK-algebras, Complete and atomic algebras of the infinite valued Łukasiewicz logic, Priestley duality and quotient lattices of many-valued algebras, Boolean products of R0-algebras, Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, A Note on Representing and Interpreting MV-Algebras, Unnamed Item, The Priestley duality for Wajsberg algebras, Boolean skeletons of MV-algebras and \(\ell \)-groups, Boolean products of BL-algebras, Wajsberg algebras and Post algebras, Sheaf representations of BL-algebras

Cites Work

• Unnamed Item
• The lattice of global sections of sheaves of chains over Boolean spaces
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Global subdirect products
• Sheaf Constructions and Their Elementary Properties