Conservatively extending classical logic with transparent truth
From MaRDI portal
Publication:2890700
Recommendations
Cites work
- scientific article; zbMATH DE number 44058 (Why is no real title available?)
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- An introduction to non-classical logic. From if to is
- Kripke and the logic of truth
- Outline of a Theory of Truth
- Truth and the liar in De Morgan-valued models
Cited in
(69)- A cartography of LFIs and truth
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
- The structure of paradoxes in a logic of sentential operators
- On the metainferential solution to the semantic paradoxes
- Inferential constants
- Systems for non-reflexive consequence
- Anti-exceptionalism, truth and the BA-plan
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
- scientific article; zbMATH DE number 3843727 (Why is no real title available?)
- Nonmonotonicity and knowability: as knowable as possible
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Transfinite meta-inferences
- ON PATHOLOGICAL TRUTHS
- Noncontractive classical logic
- Restriction by noncontraction
- Contractions of noncontractive consequence relations
- Naive structure, contraction and paradox
- The laws of thought and the laws of truth as two sides of one coin
- Two-valued logics for transparent truth theory
- Priest's motorbike and tolerant identity
- Faithfulness for naive validity
- Validity, dialetheism and self-reference
- Herzberger's limit rule with labelled sequent calculus
- What is a relevant connective?
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Metainferential duality
- Disjoint logics
- Naive truth and naive logical properties
- Validities, antivalidities and contingencies: a multi-standard approach
- How a semantics for tonk should be
- On structural contraction and why it fails
- Structural weakening and paradoxes
- A constructivism based on classical truth
- Structural proof theory for first-order weak Kleene logics
- A hierarchy of classical and paraconsistent logics
- Non-reflexivity and revenge
- The logics of strict-tolerant logic
- Consistent theories of truth for languages which conform to classical logic
- Substructural logics, pluralism and collapse
- Paradox and logical revision. A short introduction
- Classical logic and the strict tolerant hierarchy
- Editorial introduction: substructural logics and metainferences
- Empty logics
- Metasequents and tetravaluations
- One step is enough
- Principles for object-linguistic consequence: from logical to irreflexive
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- A robust non-transitive logic
- Inferences and metainferences in \(\mathsf{ST}\)
- Meaningless divisions
- Naive \textit{modus ponens}
- Neutral free logic: motivation, proof theory and models
- Non-classical elegance for sequent calculus enthusiasts
- Foreword: three-valued logics and their applications
- Deep \textsf{ST}
- Derivability and metainferential validity
- The final cut
- Towards a non-classical meta-theory for substructural approaches to paradox
- A family of metainferential logics
- What is a paraconsistent logic?
- Naive modus ponens and failure of transitivity
- A recovery operator for nontransitive approaches
- A fully classical truth theory characterized by substructural means
- Naive set theory and nontransitive logic
- Sequent-calculi for metainferential logics
- On all strong Kleene generalizations of classical logic
- Cut elimination for systems of transparent truth with restricted initial sequents
- A note on contraction-free logic for validity
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)
