A fully classical truth theory characterized by substructural means

DOI10.1017/S1755020318000485zbMATH Open1476.03028OpenAlexW2907455685WikidataQ128648983 ScholiaQ128648983MaRDI QIDQ5107533FDOQ5107533

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

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

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)

Cites Work

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

Cited In (17)

• The logics of strict-tolerant logic
• Transfinite meta-inferences
• On the metainferential solution to the semantic paradoxes
• Inferential constants
• Sequent-calculi for metainferential logics
• ST, LP and tolerant metainferences
• A hierarchy of classical and paraconsistent logics
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential reasoning on strong Kleene models
• A cartography of LFIs and truth
• Classical logic and the strict tolerant hierarchy
• 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
• 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)