The deduction theorem for quantum logic—some negative results

DOI10.2307/2274651MaRDI QIDQ3480040zbMATH OpenOpenAlexFDO

Authors 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

consequence operationdeduction theoremortholatticesorthomodular lattices

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1975410
• scientific article; zbMATH DE number 3882410
• scientific article; zbMATH DE number 6019825
• Quantum logics and Lindenbaum property
• A double deduction system for quantum logic based on natural deduction

Cites work

• Algebraic aspects of deduction theorems
• An algebraic approach to non-classical logics
• An axiom system for the modular logic
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Matrix approach in methodology of sentential calculi
• Orthomodular Logic

Cited in

(11)

• Local deductions theorems
• Strong versus weak quantum consequence operations
• Natural deduction for quantum logic
• A theory of computation based on quantum logic. I
• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• Weakly algebraizable logics
• The quasi-lattice of indiscernible elements
• A natural deduction system for orthomodular logic
• A gentle introduction to the Leibniz hierarchy
• Towards a quantum logic of paradox
• Some properties of orthologics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3480040)