The deduction theorem for quantum logic—some negative results

DOI10.2307/2274651zbMath0702.03039OpenAlexW2152776731MaRDI QIDQ3480040

Jacek Malinowski

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274651

zbMATH Keywords

orthomodular latticesdeduction theoremconsequence operationortholattices

Mathematics Subject Classification ID

Quantum logic (03G12) Abstract deductive systems (03B22)

Related Items

The quasi-lattice of indiscernible elements ⋮ Strong versus weak quantum consequence operations ⋮ Natural deduction for quantum logic ⋮ A theory of computation based on quantum logic. I ⋮ Weakly algebraizable logics ⋮ Some properties of orthologics

Cites Work

• Unnamed Item
• Algebraic aspects of deduction theorems
• An algebraic approach to non-classical logics
• An axiom system for the modular logic
• Matrix approach in methodology of sentential calculi
• Orthomodular Logic

This page was built for publication: The deduction theorem for quantum logic—some negative results