THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS (Q3459088): Difference between revisions

@@ Property / cites work @@
+CUT FOR CORE LOGIC
@@ Property / cites work: CUT FOR CORE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A general characterization of the variable-sharing property by means of logical matrices
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Depth relevance of some paraconsistent logics
@@ Property / cites work: Depth relevance of some paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+What is relevance logic?
@@ Property / cites work: What is relevance logic? / rank @@
+Normal rank
@@ Property / cites work @@
+On purely relevant logics
@@ Property / cites work: On purely relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708773
@@ Property / cites work: Q3708773 / rank @@
+Normal rank