A solution of the uniform word problem for ortholattices (Q3583025): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and word problems for varieties of lattices
+Normal rank
@@ Property / cites work @@
+Permutability of rules in lattice theory.
@@ Property / cites work: Permutability of rules in lattice theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+From basic logic to quantum logics with cut-elimination
+Normal rank
@@ Property / cites work @@
+The word and generator problems for lattices
@@ Property / cites work: The word and generator problems for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Uniform Word Problems
@@ Property / cites work: Polynomial Time Uniform Word Problems / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for minimal quantum logic. II
@@ Property / cites work: Proof theory for minimal quantum logic. II / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for minimal quantum logic. I
@@ Property / cites work: Proof theory for minimal quantum logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for lattice theory
@@ Property / cites work: Proof systems for lattice theory / rank @@
+Normal rank