Quasi-implication algebras. II: Structure theory

DOI10.1007/BF02483862zbMath0497.03050MaRDI QIDQ1170190

Gary M. Hardegree

Publication date: 1981

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

zbMATH Keywords

representation theoremorthomodular latticecompleteness theoremequational theoryfilter theorycomplete filtersconditional operation

Mathematics Subject Classification ID

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

Related Items (3)

Minimal quantum logic with merged implications ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Bibliography on quantum logics and related structures

Cites Work

• Quasi-implication algebras. I: Elementary theory

This page was built for publication: Quasi-implication algebras. II: Structure theory