On contraction and the modal fragment (Q3520225): Difference between revisions

@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of Grišin's set theory
@@ Property / cites work: The undecidability of Grišin's set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914964
@@ Property / cites work: Q3914964 / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable fragment of predicate calculus
@@ Property / cites work: A decidable fragment of predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logic without contraction as based on inclusion and unrestricted abstraction
+Normal rank