Quantum logics and Lindenbaum property (Q1096629): Difference between revisions

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

zbMATH Keywords

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

reviewed by

Anatolij Dvurečenskij

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q3346311

0 references

Logics based on partial Boolean \(\sigma\)-algebras. I

0 references

Logics based on partial Boolean \(\sigma\)-algebras. II

0 references

Q4023197

0 references

Q3245484

0 references

Semantic analysis of orthologic

0 references

Q5557878

0 references

Q5534907

0 references

Q5536167

0 references

The permutability in a certain orthocomplemented lattice

0 references

full work available at URL

https://doi.org/10.1007/bf00396903

0 references

Identifiers

zbMATH Open document ID

0634.03065

0 references

DOI

10.1007/BF00396903

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1096629

@@ Property / reviewed by @@
-Anatolij Dvurečenskij
@@ Property / reviewed by: Anatolij Dvurečenskij / rank @@
-Normal rank
@@ Property / reviewed by @@
+Anatolij Dvurečenskij
@@ Property / reviewed by: Anatolij Dvurečenskij / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346311
@@ Property / cites work: Q3346311 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics based on partial Boolean \(\sigma\)-algebras. I
+Normal rank
@@ Property / cites work @@
+Logics based on partial Boolean \(\sigma\)-algebras. II
+Normal rank
@@ Property / cites work @@
+Q4023197
@@ Property / cites work: Q4023197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557878
@@ Property / cites work: Q5557878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534907
@@ Property / cites work: Q5534907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536167
@@ Property / cites work: Q5536167 / rank @@
+Normal rank
@@ Property / cites work @@
+The permutability in a certain orthocomplemented lattice
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00396903
+Normal rank
@@ Property / OpenAlex ID @@
+W1985848540
@@ Property / OpenAlex ID: W1985848540 / rank @@
+Normal rank