Orthomodular Logic
From MaRDI portal
Publication:4149443
DOI10.1002/malq.19740202504zbMath0373.02030OpenAlexW4249187807MaRDI QIDQ4149443
Publication date: 1974
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19740202504
Other algebras related to logic (03G25) Modular lattices, Desarguesian lattices (06C05) General logic (03B99) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Categoricity and completeness of theories (03C35)
Related Items (16)
Empirical logics ⋮ Minimal quantum logic with merged implications ⋮ An equational theory for \(\sigma \)-complete orthomodular lattices ⋮ The deduction theorem for quantum logic—some negative results ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Lattice-valued general orthomodular automata ⋮ Weakly orthomodular and dually weakly orthomodular posets ⋮ An axiom system for orthomodular quantum logic ⋮ Bibliography on quantum logics and related structures ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Strong versus weak quantum consequence operations ⋮ A new axiomatization of unified quantum logic ⋮ A general approach to non-distributive logics ⋮ Cut elimination and word problems for varieties of lattices ⋮ What is quantum logic? ⋮ A theory of computation based on quantum logic. I
This page was built for publication: Orthomodular Logic
