Algebraically expandable classes of implication algebras

DOI10.1142/S0218196710005704MaRDI QIDQ3162711zbMATH OpenOpenAlexFDO

Authors Miguel Campercholi

Publication date 21 October 2010

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196710005704

zbMATH Keywords

algebraically expandable classescongruence permutabilityglobal subdirect productsimplication algebraTarski algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Subdirect products and subdirect irreducibility (08B26)

Recommendations

• Algebraically expandable classes
• Conditions for permutability of congruences in implication algebras
• Generalizations of Implication Algebras
• Quasivarieties and congruence permutability of Łukasiewicz implication algebras
• Orthomodular implication algebras

Cites work

• (Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures
• Algebraically expandable classes
• An algebraic approach to non-classical logics
• Birkhoff-like sheaf representation for varieties of lattice expansions
• Conditions for permutability of congruences in implication algebras
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Sheaf representation and Chinese Remainder Theorems

Cited in

(6)

• Algebraically expandable classes
• Algebraic functions in Łukasiewicz implication algebras.
• scientific article; zbMATH DE number 66912 (Why is no real title available?)
• BL-global representations
• ALGEBRAIC EXPANSIONS OF LOGICS
• Algebraic functions

This page was built for publication: Algebraically expandable classes of implication algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3162711)