Strong versus weak quantum consequence operations

DOI10.1007/BF00370334MaRDI QIDQ1194110zbMATH OpenFDO

Authors Jacek Malinowski

Publication date 27 September 1992

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370334

zbMATH Keywords

algebraic semanticsconsequence operationsdeduction theoremequivalential logiclogical matrixortholattices

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Quantum logic (03G12)

Review text

The question of consequence operations determined by (classes of) ortholattices is considered. The two logics go back to \textit{R. Goldblatt} [J. Philos. Log. 3, 19-35 (1974; Zbl 0278.02023)] and \textit{G. Kalmbach} [Z. Math. Log. Grundlagen Math. 20, 395-406 (1974; Zbl 0373.02030)] respectively; the attributes `strong' and `weak' are due to \textit{M. L. Dalla Chiara} [Handbook of Philosophical Logic, Vol. III, 427-469 (1985; Zbl 0603.03001)]. Here it is proved that some of the properties usually considered as desirable for a logic, force any strong orthologic to be classical; this result has no full counterparts for weak logics. The necessary preliminaries are carefully explained in the first half of the paper.

Recommendations

• On the lattice structure of quantum logic
• scientific article; zbMATH DE number 4068866
• scientific article; zbMATH DE number 1790849
• Quantum logics and Lindenbaum property
• The deduction theorem for quantum logic—some negative results

Cites work

• Algebraic aspects of deduction theorems
• An algebraic approach to non-classical logics
• Equivalential logics. I
• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• scientific article; zbMATH DE number 1028822 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• Matrix approach in methodology of sentential calculi
• Orthomodular Logic
• Quantum logics and Lindenbaum property
• Reduced products of logical matrices
• Semantic analysis of orthologic
• Semantics of the minimal logic of quantum mechanics
• The deduction theorem for quantum logic—some negative results

Cited in

(3)

• Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach
• scientific article; zbMATH DE number 4068866 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)

This page was built for publication: Strong versus weak quantum consequence operations

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