Decidability in orthomodular lattices (Q861643): Difference between revisions

@@ Property / author @@
+Mirko Navara
@@ Property / author: Mirko Navara / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-005-8019-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2062227452
@@ Property / OpenAlex ID: W2062227452 / rank @@
+Normal rank
@@ 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