Iimplication algebras

DOI10.7151/DMGAA.1108zbMath1133.03041OpenAlexW4243036968MaRDI QIDQ5438762

Ivan Chajda

Publication date: 28 January 2008

Published in: Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7151/dmgaa.1108

zbMATH Keywords

congruence kernelimplication algebraorthosemilatticeorthoimplication algebrapre-implication algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quantum logic (03G12)

Related Items (3)

Quasi-orthomodular posets and weak BCK-algebras. ⋮ Hilbert implication algebra and some properties ⋮ A new extension of RM-algebras

This page was built for publication: Iimplication algebras