A fully classical truth theory characterized by substructural means

DOI10.1017/S1755020318000485MaRDI QIDQ5107533zbMATH OpenOpenAlexWikidataFDO

Authors Federico Matias Pailos

Publication date 27 April 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020318000485

zbMATH Keywords

substructural logicsmetainferencesmetainferential validityempty logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

Recommendations

• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Transfinite meta-inferences
• The logics of strict-tolerant logic
• Truth without contra(di)ction

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• Characterizing logical consequence in many-valued logic
• Classical negation and expansions of Belnap-Dunn logic
• Conservatively extending classical logic with transparent truth
• Editorial introduction. Truth values. II
• Equivalence of consequence operations
• External curries
• Gentzen's cut-free calculus versus the logic of paradox
• Kripke and the logic of truth
• Naive modus ponens and failure of transitivity
• Outline of a Theory of Truth
• ST, LP and tolerant metainferences
• Simple consequence relations
• The logics of strict-tolerant logic
• The original sin of proof-theoretic semantics
• The semantics and proof theory of linear logic
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Valuational semantics of rule derivability

Cited in

(27)

• The logics of strict-tolerant logic
• Higher-level paradoxes and substructural solutions
• Transfinite meta-inferences
• On the metainferential solution to the semantic paradoxes
• Inferential constants
• Multilateral supervaluationism and classicality
• Sequent-calculi for metainferential logics
• ST, LP and tolerant metainferences
• A hierarchy of classical and paraconsistent logics
• Meta-classical non-classical logics
• Appreciating global validity
• Naïve non-substructural solutions to the validity paradox
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential reasoning on strong Kleene models
• Fragility and strength
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• A cartography of LFIs and truth
• Classical logic and the strict tolerant hierarchy
• Tableaux for metainferential logics
• Conservatively extending classical logic with transparent truth
• Editorial introduction: substructural logics and metainferences
• Empty logics
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• One step is enough
• A validity theory for the ST-hierarchy
• Inferential-connexive mixed logics
• Validities, antivalidities and contingencies: a multi-standard approach

This page was built for publication: A fully classical truth theory characterized by substructural means

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5107533)