Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430): Difference between revisions

@@ Property / cites work @@
+Q2762534
@@ Property / cites work: Q2762534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5755184
@@ Property / cites work: Q5755184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting da Costa logic
@@ Property / cites work: Revisiting da Costa logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting \(\mathbb Z\)
@@ Property / cites work: Revisiting \(\mathbb Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Brief study of G'<sub>3</sub> logic
@@ Property / cites work: Brief study of G'<sub>3</sub> logic / rank @@
+Normal rank