Strong versus weak quantum consequence operations

DOI10.1007/BF00370334zbMath0772.03030MaRDI QIDQ1194110

Jacek Malinowski

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

deduction theoremalgebraic semanticsequivalential logicortholatticeslogical matrixconsequence operations

Mathematics Subject Classification ID

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

Related Items (1)

Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic aspects of deduction theorems
• Quantum logics and Lindenbaum property
• Reduced products of logical matrices
• Equivalential logics. I
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Semantic analysis of orthologic
• Semantics of the minimal logic of quantum mechanics
• The deduction theorem for quantum logic—some negative results
• Orthomodular Logic

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