Sequent-calculi for metainferential logics (Q2118968): Difference between revisions

@@ Property / cites work @@
+A paraconsistent route to semantic closure
@@ Property / cites work: A paraconsistent route to semantic closure / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of classical and paraconsistent logics
+Normal rank
@@ Property / cites work @@
+What is a Paraconsistent Logic?
@@ Property / cites work: What is a Paraconsistent Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
@@ Property / cites work: MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY / rank @@
+Normal rank
@@ Property / cites work @@
+LP<sup>+</sup>, K3<sup>+</sup>, FDE<sup>+</sup>, AND THEIR ‘CLASSICAL COLLAPSE’
+Normal rank
@@ Property / cites work @@
+Sequent calculi for propositional nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+OUP accepted manuscript
@@ Property / cites work: OUP accepted manuscript / rank @@
+Normal rank
@@ Property / cites work @@
+OUP accepted manuscript
@@ Property / cites work: OUP accepted manuscript / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+ST, LP and Tolerant Metainferences
@@ Property / cites work: ST, LP and Tolerant Metainferences / rank @@
+Normal rank
@@ Property / cites work @@
+Non-classical elegance for sequent calculus enthusiasts
+Normal rank
@@ Property / cites work @@
+Q4822151
@@ Property / cites work: Q4822151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation systems in modal logic
@@ Property / cites work: Refutation systems in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Valuational semantics of rule derivability
@@ Property / cites work: Valuational semantics of rule derivability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4025003
@@ Property / cites work: Q4025003 / rank @@
+Normal rank
@@ Property / cites work @@
+A family of metainferential logics
@@ Property / cites work: A family of metainferential logics / rank @@
+Normal rank
@@ Property / cites work @@
+A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
+Normal rank
@@ Property / cites work @@
+Cut elimination, identity elimination, and interpolation in super-Belnap logics
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Towards a non-classical meta-theory for substructural approaches to paradox
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On all strong Kleene generalizations of classical logic
+Normal rank