Quasi-implication algebras. I: Elementary theory (Q1170189): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626712
@@ Property / cites work: Q5626712 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthoimplication algebras
@@ Property / cites work: Orthoimplication algebras / 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 @@
+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 @@
+Q4060947
@@ Property / cites work: Q4060947 / 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 @@
+The permutability in a certain orthocomplemented lattice
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices as implication algebras
@@ Property / cites work: Orthomodular lattices as implication algebras / rank @@
+Normal rank