Binary logic is rich enough (Q1184053): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Baer ∗ -Semigroups
@@ Property / cites work: Baer ∗ -Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Binary quantum logic and generating semigroups
@@ Property / cites work: Binary quantum logic and generating semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3353067
@@ Property / cites work: Q3353067 / rank @@
+Normal rank