Conservatively extending classical logic with transparent truth
From MaRDI portal
A conservative extension of a classical logic with a transparent truth predicate is described. The price to be paid is (a local) non-transitivity of the respective logical system, where this non-transitivity blocks the possibility of deriving absurdity. Two Gentzen-like proof systems are defined and the proofs of their soundness and completeness (with and, respectively, without admissibility of cut) are presented.
Recommendations
Cites work
- An introduction to non-classical logic. From if to is
- scientific article; zbMATH DE number 44058 (Why is no real title available?)
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- Kripke and the logic of truth
- Outline of a Theory of Truth
- Truth and the liar in De Morgan-valued models
Cited in
(89)- A constructivism based on classical truth
- Paradox and logical revision. A short introduction
- A note on contraction-free logic for validity
- Naive structure, contraction and paradox
- A robust non-transitive logic
- Structural weakening and paradoxes
- Classical logic and the strict tolerant hierarchy
- Faithfulness for naive validity
- Validity, dialetheism and self-reference
- Meaningless divisions
- Cut elimination for systems of transparent truth with restricted initial sequents
- Validities, antivalidities and contingencies: a multi-standard approach
- Non-reflexivity and revenge
- Sequent-calculi for metainferential logics
- What is a relevant connective?
- Herzberger's limit rule with labelled sequent calculus
- Towards a non-classical meta-theory for substructural approaches to paradox
- Noncontractive classical logic
- A hierarchy of classical and paraconsistent logics
- The logics of strict-tolerant logic
- Naive modus ponens and failure of transitivity
- Editorial introduction: substructural logics and metainferences
- One step is enough
- Deep \textsf{ST}
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Empty logics
- Metasequents and tetravaluations
- Derivability and metainferential validity
- The final cut
- The laws of thought and the laws of truth as two sides of one coin
- On structural contraction and why it fails
- Neutral free logic: motivation, proof theory and models
- Restriction by noncontraction
- Naive truth and naive logical properties
- On all strong Kleene generalizations of classical logic
- How a semantics for tonk should be
- Contractions of noncontractive consequence relations
- Naive set theory and nontransitive logic
- Consistent theories of truth for languages which conform to classical logic
- Nonmonotonicity and knowability: as knowable as possible
- What is a paraconsistent logic?
- scientific article; zbMATH DE number 3843727 (Why is no real title available?)
- Two-valued logics for transparent truth theory
- Naive \textit{modus ponens}
- Foreword: three-valued logics and their applications
- scientific article; zbMATH DE number 753773 (Why is no real title available?)
- Metainferential duality
- Structural proof theory for first-order weak Kleene logics
- Disjoint logics
- THE POWER OF NAIVE TRUTH
- A fully classical truth theory characterized by substructural means
- ON PATHOLOGICAL TRUTHS
- Non-classical elegance for sequent calculus enthusiasts
- A recovery operator for nontransitive approaches
- Priest's motorbike and tolerant identity
- A family of metainferential logics
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- Systems for non-reflexive consequence
- Substructural logics, pluralism and collapse
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- Inferential constants
- On the metainferential solution to the semantic paradoxes
- Anti-exceptionalism, truth and the BA-plan
- A cartography of LFIs and truth
- The structure of paradoxes in a logic of sentential operators
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- Fragility and strength
- Non-transitive counterparts of every Tarskian logic
- A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
- Tableaux for metainferential logics
- Six faces of or-to-if
- Conditionals and modals in contexts
- Meta-classical non-classical logics
- Validity in contexts. A semantics for indicatives and epistemic modals
- Strict-tolerant conditional logics
- Principles for object-linguistic consequence: from logical to irreflexive
- Paradoxicality without paradox
- An inferentialist approach to Mates's puzzle
- Appreciating global validity
- Naïve non-substructural solutions to the validity paradox
- Non-foundationalist frameworks for logical metainferentialism
- A case for weak Kleene ST
- A validity theory for the ST-hierarchy
- Suprastructural logics
- A groundedness predicate for Kripke's theory of truth
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Inferences and metainferences in \(\mathsf{ST}\)
- Transfinite meta-inferences
This page was built for publication: Conservatively extending classical logic with transparent truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890700)
