Conditions for permutability of congruences in implication algebras

DOI10.1007/s11083-009-9123-yzbMath1177.03068OpenAlexW2061607543MaRDI QIDQ841165

Diego N. Castaño, José Patricio Díaz Varela

Publication date: 14 September 2009

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-009-9123-y

zbMATH Keywords

implication algebrapermutable congruences

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Free algebras (08B20) Semilattices (06A12)

Related Items

ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS

Cites Work

• An algebraic approach to non-classical logics
• Decomposability of free Tarski algebras
• Implication algebras are 3-permutable and 3-distributive
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item