Quantum logics and Lindenbaum property (Q1096629): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q191387 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Anatolij Dvurečenskij / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3346311 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics based on partial Boolean \(\sigma\)-algebras. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics based on partial Boolean \(\sigma\)-algebras. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3245484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantic analysis of orthologic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5557878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5534907 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5536167 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The permutability in a certain orthocomplemented lattice / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00396903 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985848540 / rank | |||
Normal rank |
Latest revision as of 09:24, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantum logics and Lindenbaum property |
scientific article |
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