Orthoimplication algebras
From MaRDI portal
Publication:1227736
DOI10.1007/BF02120879zbMath0331.02036OpenAlexW4212996956MaRDI QIDQ1227736
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02120879
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical aspects of Boolean algebras (03G05)
Related Items
Minimal quantum logic with merged implications, Induced social welfare functions, Filters of implication reducts of basic algebras., Sequent Calculi for Orthologic with Strict Implication, Generalized \(\mathbb{XOR}\) operation and the categorical equivalence of the abbott algebras and quantum logics, An axiom system for orthomodular quantum logic, Quasi-implication algebras. I: Elementary theory, Quasi-orthomodular posets and weak BCK-algebras., Unnamed Item, Bibliography on quantum logics and related structures, Congruence kernels of orthomodular implication algebras, Nearlattices, A new axiomatization of unified quantum logic, Unnamed Item, The logic of distributive nearlattices, The axioms for implication in orthologic, On the semilattice of weak orders of a set, Operations and structures derived from non-associative MV-algebras, Unnamed Item, Orthomodular bands
Cites Work
