On the metainferential solution to the semantic paradoxes (Q6156205): Difference between revisions

@@ Property / DOI @@
-.1007/s10992-022-09688-y
@@ Property / DOI: 10.1007/s10992-022-09688-y / rank @@
-Normal rank
@@ Property / cites work @@
+A hierarchy of classical and paraconsistent logics
+Normal rank
@@ Property / cites work @@
+(Meta)inferential levels of entailment beyond the Tarskian paradigm
+Normal rank
@@ Property / cites work @@
+Anti-exceptionalism, truth and the BA-plan
@@ Property / cites work: Anti-exceptionalism, truth and the BA-plan / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
+Normal rank
@@ Property / cites work @@
+Sequent-calculi for metainferential logics
@@ Property / cites work: Sequent-calculi for metainferential logics / 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 @@
+Metainferential reasoning on strong Kleene models
@@ Property / cites work: Metainferential reasoning on strong Kleene models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
+Normal rank
@@ Property / cites work @@
+Faithfulness for naive validity
@@ Property / cites work: Faithfulness for naive validity / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+One step is enough
@@ Property / cites work: One step is enough / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic and the strict tolerant hierarchy
@@ Property / cites work: Classical logic and the strict tolerant hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH WITHOUT CONTRA(DI)CTION
@@ Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10992-022-09688-Y
@@ Property / DOI: 10.1007/S10992-022-09688-Y / rank @@
+Normal rank