Truth without contra(di)ction
From MaRDI portal
Publication:3224045
Recommendations
Cites work
Cited in
(69)- Saving the truth schema from paradox
- Supervaluation-style truth without supervaluations
- A propositional theory of truth
- Contraction, infinitary quantifiers, and omega paradoxes
- Paradox and logical revision. A short introduction
- Norms of truth and logical revision
- The opacity of truth
- Naive structure, contraction and paradox
- Denial and disagreement
- Nothing but the truth
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
- Structural weakening and paradoxes
- Cut elimination for systems of transparent truth with restricted initial sequents
- Non-reflexivity and revenge
- Paraconsistent metatheory: new proofs with old tools
- Towards a non-classical meta-theory for substructural approaches to paradox
- Context and consequence. an intercontextual substructural logic
- Noncontractive classical logic
- Conditionals in theories of truth
- Truth, predication and a family of contingent paradoxes
- Instability and contraction. \textit{Méditations hégéliennes}. I
- The logics of strict-tolerant logic
- Editorial introduction: substructural logics and metainferences
- The final cut
- The original sin of proof-theoretic semantics
- Conceptual engineering for truth: aletheic properties and new aletheic concepts
- On structural contraction and why it fails
- A plea for KR
- Truth by default
- Restriction by noncontraction
- Conservatively extending classical logic with transparent truth
- Absolute contradiction, dialetheism, and revenge
- Naive truth and naive logical properties
- Paths to triviality
- Contractions of noncontractive consequence relations
- $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
- Truth in a logic of formal inconsistency: how classical can it get?
- A note on the cut-elimination proof in ``Truth without contra(di)ction
- On the metatheory for paraconsistent truth
- Ultimate truth vis-à-vis stable truth
- Naive \textit{modus ponens}
- Further reflections on sentences saying of themselves strange things
- Logical consequence and the paradoxes
- Classical logic and the liar
- A note on Gödel, Priest and naïve proof
- Dissolving the paradoxicality paradox
- A fully classical truth theory characterized by substructural means
- (De)motivating gluts
- Semantic paradox and alethic undecidability
- A new unified account of truth and paradox
- A UNIFIED THEORY OF TRUTH AND PARADOX
- A family of metainferential logics
- Guest editors' introduction
- Systems for non-reflexive consequence
- (I can't get no) antisatisfaction
- On the metainferential solution to the semantic paradoxes
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
- A cartography of LFIs and truth
- Deep fried logic
- Non-contractability and revenge
- The innocence of truth in semantic paradox
- Should the negated conditional entail its antecedent?
- A liar-like paradox for rational reflection principles
- Metainferentially substructural validity theories
- Non-contractive logics, paradoxes, and multiplicative quantifiers
- Principles for object-linguistic consequence: from logical to irreflexive
- Paradoxicality without paradox
- Semidisquotation and the infinitary function of truth
- Truth without satisfaction
This page was built for publication: Truth without contra(di)ction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3224045)
