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

@@ Property / author @@
-Dieter Probst
@@ Property / author: Dieter Probst / rank @@
-Normal rank
@@ Property / author @@
+Dieter Probst
@@ Property / author: Dieter Probst / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2048567396
@@ Property / OpenAlex ID: W2048567396 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3520225