Systems for non-reflexive consequence (Q6067744): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-023-10049-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4385725283
@@ Property / OpenAlex ID: W4385725283 / rank @@
+Normal rank
@@ Property / cites work @@
+A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
@@ Property / cites work: A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES / rank @@
+Normal rank
@@ Property / cites work @@
+The logics of strict-tolerant logic
@@ Property / cites work: The logics of strict-tolerant logic / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of Grišin's set theory
@@ Property / cites work: The undecidability of Grišin's set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+(I can't get no) antisatisfaction
@@ Property / cites work: (I can't get no) antisatisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Structural weakening and paradoxes
@@ Property / cites work: Structural weakening and paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-calculi for metainferential logics
@@ Property / cites work: Sequent-calculi for metainferential logics / rank @@
+Normal rank
@@ Property / cites work @@
+Metainferential duality
@@ Property / cites work: Metainferential duality / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction, infinitary quantifiers, and omega paradoxes
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
@@ Property / cites work: AXIOMATIZING SEMANTIC THEORIES OF TRUTH? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+THE POWER OF NAIVE TRUTH
@@ Property / cites work: THE POWER OF NAIVE TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Non-classical elegance for sequent calculus enthusiasts
+Normal rank
@@ Property / cites work @@
+A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke and the logic of truth
@@ Property / cites work: Kripke and the logic of truth / 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 @@
+Q4000317
@@ Property / cites work: Q4000317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2973403
@@ Property / cites work: Q2973403 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Logical consequence and the paradoxes
@@ Property / cites work: Logical consequence and the paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination for systems of transparent truth with restricted initial sequents
+Normal rank
@@ Property / cites work @@
+Principles for object-linguistic consequence: from logical to irreflexive
+Normal rank
@@ Property / cites work @@
+THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
@@ Property / cites work: THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Logic without contraction as based on inclusion and unrestricted abstraction
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Freeing assumptions from the Liar paradox
@@ Property / cites work: Freeing assumptions from the Liar paradox / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+NAIVE SET THEORY AND NONTRANSITIVE LOGIC
@@ Property / cites work: NAIVE SET THEORY AND NONTRANSITIVE LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+On structural contraction and why it fails
@@ Property / cites work: On structural contraction and why it fails / rank @@
+Normal rank
@@ Property / cites work @@
+Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
+Normal rank
@@ Property / cites work @@
+TRUTH WITHOUT CONTRA(DI)CTION
@@ Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank @@
+Normal rank