(Meta)inferential levels of entailment beyond the Tarskian paradigm

DOI10.1007/s11229-019-02411-6zbMath1525.03076OpenAlexW2980000956WikidataQ127127987 ScholiaQ127127987MaRDI QIDQ6088599

Eduardo Alejandro Barrio, Federico Matias Pailos, Damian Szmuc

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/BARILO-2

zbMATH Keywords

entailmentmetainferencessub-structural logicslocal/global validity

Mathematics Subject Classification ID

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

Related Items (2)

Editorial introduction: substructural logics and metainferences ⋮ On the metainferential solution to the semantic paradoxes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Naive modus ponens and failure of transitivity
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• What logical pluralism cannot be
• General-elimination harmony and the meaning of the logical constants
• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of paradox
• Substructural logics: a primer
• Anything goes
• Valuational semantics of rule derivability
• Classical logic and the strict tolerant hierarchy
• Noncontractive classical logic
• A hierarchy of classical and paraconsistent logics
• Equivalence of consequence operations
• The original sin of proof-theoretic semantics
• On structural contraction and why it fails
• What is a Paraconsistent Logic?
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• OUP accepted manuscript
• Substructural logics, pluralism and collapse

This page was built for publication: (Meta)inferential levels of entailment beyond the Tarskian paradigm