A system for proper multiple-conclusion entailment (Q2987737): Difference between revisions

@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q4693184
@@ Property / cites work: Q4693184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839916
@@ Property / cites work: Q5839916 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Judgment and consequence relations
@@ Property / cites work: Judgment and consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+A refutation theory
@@ Property / cites work: A refutation theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2872612
@@ Property / cites work: Q2872612 / rank @@
+Normal rank