Quasi-implication algebras. I: Elementary theory

DOI10.1007/BF02483861MaRDI QIDQ1170189zbMATH OpenFDO

Authors Gary Hardegree

Publication date 1981

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02483861

zbMATH Keywords

conditional operationjoin semi-latticeorthomodular lattice

Mathematics Subject Classification ID

Quantum logic (03G12) Lattice ideals, congruence relations (06B10) Complemented lattices, orthocomplemented lattices and posets (06C15) Structure theory of algebraic structures (08A05)

Cites work

• An axiom system for the modular logic
• scientific article; zbMATH DE number 3477140 (Why is no real title available?)
• scientific article; zbMATH DE number 3351632 (Why is no real title available?)
• Orthoimplication algebras
• Orthomodular lattices as implication algebras
• Quantum logic as an implication algebra
• Stalnaker conditionals and quantum logic
• The conditional in quantum logic
• The permutability in a certain orthocomplemented lattice

Cited in

(5)

• Minimal quantum logic with merged implications
• Quasi-implication algebras. II: Structure theory
• Bibliography on quantum logics and related structures
• Sequent Calculi for Orthologic with Strict Implication
• Orthogonality relations and operators on bounded quasi-implication algebras

This page was built for publication: Quasi-implication algebras. I: Elementary theory

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