ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS

DOI10.1142/S0218196710005704zbMath1206.03056OpenAlexW1966723570MaRDI QIDQ3162711

Miguel A. 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

implication algebraTarski algebracongruence permutabilityalgebraically expandable classesglobal subdirect products

Mathematics Subject Classification ID

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

Related Items (4)

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

This page was built for publication: ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS