Quantum logics and Lindenbaum property (Q1096629)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantum logics and Lindenbaum property |
scientific article; zbMATH DE number 4031687
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum logics and Lindenbaum property |
scientific article; zbMATH DE number 4031687 |
Statements
Quantum logics and Lindenbaum property (English)
0 references
1987
0 references
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.
0 references
partial quantum logic
0 references
orthomodular quantum logics
0 references
orthomodular lattices
0 references
partial classical logics
0 references
partial Boolean algebras
0 references
Lindenbaum property
0 references
