ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
From MaRDI portal
Publication:3162711
DOI10.1142/S0218196710005704zbMath1206.03056OpenAlexW1966723570MaRDI 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 algebraTarski algebracongruence permutabilityalgebraically expandable classesglobal subdirect products
Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Subdirect products and subdirect irreducibility (08B26)
Related Items
Algebraic functions in Łukasiewicz implication algebras, Algebraic functions, BL-global representations, ALGEBRAIC EXPANSIONS OF LOGICS
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