Quantum logics and Lindenbaum property

DOI10.1007/BF00396903MaRDI QIDQ1096629zbMATH OpenOpenAlexFDO

Authors Roberto Giuntini

Publication date 1987

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Lindenbaum propertyorthomodular latticesorthomodular quantum logicspartial Boolean algebraspartial classical logicspartial quantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Stochastic mechanics (including stochastic electrodynamics) (81P20)

Review text

It is shown that both orthomodular quantum logics (orthomodular lattices) and partial classical logics (based on partial Boolean algebras) cannot satisfy the Lindenbaum property, which asserts that any semantically non- contradictory set of formulas admits a semantically non-contradictory extension.

Recommendations

• Partial and unsharp quantum logics.
• Orthomodularity is not elementary
• scientific article; zbMATH DE number 1790849
• Notes on quantum logics and involutive bounded posets
• Connections among quantum logics. I: Quantum propositional logics

Cites work

• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 3880686 (Why is no real title available?)
• scientific article; zbMATH DE number 107612 (Why is no real title available?)
• scientific article; zbMATH DE number 3247999 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3273135 (Why is no real title available?)
• Logics based on partial Boolean \(\sigma\)-algebras. I
• Logics based on partial Boolean \(\sigma\)-algebras. II
• Semantic analysis of orthologic
• The permutability in a certain orthocomplemented lattice

Cited in

(29)

• On blocks in quantum logics
• Bibliography on quantum logics and related structures
• Strong versus weak quantum consequence operations
• Concrete quantum logics with covering properties
• Lattices and quantum logics with separated intervals, atomicity
• Jauch-Piron property (everywhere!) in the logicoalgebraic foundation of quantum theories
• Schrödinger logics
• On the modal logic of the non-orthogonality relation between quantum states
• The Leibniz principle in quantum logic
• Quantum logics of idempotents of unital rings
• Partial quantum logics revisited
• scientific article; zbMATH DE number 3880686 (Why is no real title available?)
• The deduction theorem for quantum logic—some negative results
• Term extensions of partial ring-like quantum logics
• Standard Logics Are Valuation-Nonmonotonic
• Orthomodularity is not elementary
• scientific article; zbMATH DE number 125868 (Why is no real title available?)
• scientific article; zbMATH DE number 1293543 (Why is no real title available?)
• scientific article; zbMATH DE number 1164013 (Why is no real title available?)
• Quantum logics with the Riesz Interpolation Property
• scientific article; zbMATH DE number 764483 (Why is no real title available?)
• scientific article; zbMATH DE number 908630 (Why is no real title available?)
• scientific article; zbMATH DE number 908634 (Why is no real title available?)
• Effect algebras and unsharp quantum logics.
• Partial and unsharp quantum logics.
• A double deduction system for quantum logic based on natural deduction
• Quantum logics and completeness criteria of inner product spaces
• On J. Czelakowski's contributions to quantum logic and the foundation of quantum mechanics
• Quantum logic and non-commutative geometry

This page was built for publication: Quantum logics and Lindenbaum property

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