Quasi-implication algebras. I: Elementary theory

DOI10.1007/BF02483861zbMath0497.03049MaRDI QIDQ1170189

Gary M. Hardegree

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

orthomodular latticeconditional operationjoin semi-lattice

Mathematics Subject Classification ID

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

Related Items (4)

Minimal quantum logic with merged implications ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Quasi-implication algebras. II: Structure theory ⋮ Bibliography on quantum logics and related structures

Cites Work

• Unnamed Item
• Unnamed Item
• Orthomodular lattices as implication algebras
• Orthoimplication algebras
• An axiom system for the modular logic
• Stalnaker conditionals and quantum logic
• The conditional in quantum logic
• The permutability in a certain orthocomplemented lattice
• Quantum logic as an implication algebra

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