ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
From MaRDI portal
Publication:3162711
DOI10.1142/S0218196710005704zbMath1206.03056MaRDI QIDQ3162711
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
implication algebra; Tarski algebra; congruence permutability; algebraically expandable classes; global subdirect products
03G25: Other algebras related to logic
03C05: Equational classes, universal algebra in model theory
08B26: Subdirect products and subdirect irreducibility
Related Items
BL-global representations, ALGEBRAIC EXPANSIONS OF LOGICS, Algebraic functions, Algebraic functions in Łukasiewicz implication algebras
Cites Work
- Conditions for permutability of congruences in implication algebras
- Algebraically expandable classes
- Sheaf representation and Chinese Remainder Theorems
- An algebraic approach to non-classical logics
- Preservation theorems for limits of structures and global sections of sheaves of structures
- (Finitely) subdirectly irreducible and Birkhoff-like sheaf representation for certain varieties of lattice ordered structures
- Birkhoff-like sheaf representation for varieties of lattice expansions