Wajsberg algebras and Post algebras

DOI10.1007/BF01053019zbMath0808.03048MaRDI QIDQ1317894

Antoni Torrens Torrell, Antonio Jesús Rodríguez

Publication date: 15 March 1995

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

zbMATH Keywords

varietyPost algebrachainsubdirectly irreducible algebraprimal algebraWajsberg algebraP-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Operations and polynomials in algebraic structures, primal algebras (08A40) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (5)

Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ A determination principle for algebras of \(n\)-valued Łukasiewicz logic ⋮ Free algebras in varieties of BL-algebras generated by a BL_n-chain ⋮ Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II ⋮ Varieties of BL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• W-algebras which are Boolean products of members of SR[1 and CW- algebras]
• P-algebras, an abstraction from Post algebras
• Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraizable logics
• Varieties generated by finite BCK-algebras
• Super-Łukasiewicz propositional logics
• Super-Łukasiewicz implicational logics
• An algebra related with a propositional calculus

This page was built for publication: Wajsberg algebras and Post algebras