The following pages link to TRUTH WITHOUT CONTRA(DI)CTION (Q3224045):
Displaying 40 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Restriction by noncontraction (Q286710) (← links)
- Naive \textit{modus ponens} (Q373022) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- A propositional theory of truth (Q1633894) (← links)
- Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- The opacity of truth (Q1708462) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Denial and disagreement (Q1708469) (← links)
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Non-reflexivity and revenge (Q2078982) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Context and consequence. an intercontextual substructural logic (Q2263051) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Instability and contraction. \textit{Méditations hégéliennes}. I (Q2420717) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- The final cut (Q2679590) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- A plea for KR (Q2695153) (← links)
- ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE (Q2940871) (← links)
- NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ (Q3299537) (← links)
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (Q3389498) (← links)
- Further Reflections on Sentences Saying of Themselves Strange Things (Q4565830) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Guest editors' introduction (Q5920212) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS (Q6188337) (← links)