Decidability in orthomodular lattices (Q861643): Difference between revisions

@@ Property / cites work @@
+Q3222894
@@ Property / cites work: Q3222894 / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of congurence relations on orthomodular lattices
+Normal rank
@@ Property / cites work @@
+Q4389694
@@ Property / cites work: Q4389694 / rank @@
+Normal rank
@@ Property / cites work @@
+On Generating Distributive Sublattices of Orthomodular Lattices
+Normal rank
@@ Property / cites work @@
+An Addendum to "On Generating Distributive Sublattices of Orthomodular Lattices"
+Normal rank
@@ Property / cites work @@
+Q4031732
@@ Property / cites work: Q4031732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292590
@@ Property / cites work: Q3292590 / rank @@
+Normal rank
@@ Property / cites work @@
+A Radon-Nikodym Theorem in Dimension Lattices
@@ Property / cites work: A Radon-Nikodym Theorem in Dimension Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376364
@@ Property / cites work: Q3376364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+The free orthomodular word problem is solvable
@@ Property / cites work: The free orthomodular word problem is solvable / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices and a quantum algebra.
@@ Property / cites work: Orthomodular lattices and a quantum algebra. / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices
+Normal rank
@@ Property / cites work @@
+Quantum implication algebras
@@ Property / cites work: Quantum implication algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244858
@@ Property / cites work: Q4244858 / rank @@
+Normal rank