Generalizations of Implication Algebras

DOI10.1553/SUNDA2007SSII33MaRDI QIDQ3396661zbMATH OpenOpenAlexFDO

Authors Helmut Länger, Ivan Chajda

Publication date 21 September 2009

Published in Sitzungsberichte und Anzeiger der mathematisch-naturwissenschaftlichen Klasse (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1553/sunda2007ssii33

zbMATH Keywords

Boolean algebraposetsemilatticeorthomodular latticeantitone involutiondirectoidimplication algebraorthomodular implication algebraorthoimplication algebraswitching involutionstrong I-algebraweak I-algebra

Mathematics Subject Classification ID

Semilattices (06A12) Structure theory of Boolean algebras (06E05) Sets with a single binary operation (groupoids) (20N02) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• Orthomodular implication algebras
• scientific article; zbMATH DE number 978109
• scientific article; zbMATH DE number 908155
• On algebras with a generalized implication
• Hilbert implication algebra and some properties

Cited in

(15)

• scientific article; zbMATH DE number 1450232 (Why is no real title available?)
• scientific article; zbMATH DE number 1615238 (Why is no real title available?)
• On algebras with a generalized implication
• General implicativity in groupoids
• Quasi-orthomodular posets and weak BCK-algebras.
• Algebras with implication and fusion: a different point of view.
• The extended alpha-triple I algorithm based on the generalized implication operator
• scientific article; zbMATH DE number 3965470 (Why is no real title available?)
• Orthomodular implication algebras
• Towards an algebraic semantics for implicatives
• scientific article; zbMATH DE number 66912 (Why is no real title available?)
• Simple axioms for orthomodular implication algebras
• Algebraically expandable classes of implication algebras
• Distributive residuated frames and generalized bunched implication algebras
• Implication algebras and implication semigroups of binary relations

This page was built for publication: Generalizations of Implication Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3396661)