An axiom system for orthomodular quantum logic (Q1160172): Difference between revisions

@@ Property / cites work @@
+Orthoimplication algebras
@@ Property / cites work: Orthoimplication algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatisation of quantum logic
@@ Property / cites work: An axiomatisation of quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sasaki projections on orthocomplemented posets
@@ Property / cites work: Sasaki projections on orthocomplemented posets / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic as an implication algebra
@@ Property / cites work: Quantum logic as an implication algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404861
@@ Property / cites work: Q4404861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698601
@@ Property / cites work: Q4698601 / rank @@
+Normal rank
@@ Property / cites work @@
+The conditional in quantum logic
@@ Property / cites work: The conditional in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Stalnaker conditionals and quantum logic
@@ Property / cites work: Stalnaker conditionals and quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal propositional logic on an orthomodular basis. I
+Normal rank
@@ Property / cites work @@
+An m-Orthocomplete Orthomodular Lattice is m-Complete
+Normal rank
@@ Property / cites work @@
+Orthomodular Logic
@@ Property / cites work: Orthomodular Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiom system for the modular logic
@@ Property / cites work: An axiom system for the modular logic / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices as implication algebras
@@ Property / cites work: Orthomodular lattices as implication algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5826968
@@ Property / cites work: Q5826968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666507
@@ Property / cites work: Q5666507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic with implication
@@ Property / cites work: Quantum logic with implication / rank @@
+Normal rank