A family of metainferential logics

DOI10.1080/11663081.2018.1534486zbMath1444.03084OpenAlexW2908887529MaRDI QIDQ5742701

Federico Matias Pailos

Publication date: 8 May 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2018.1534486

zbMATH Keywords

substructural logicslogicmetainferencesmetainferential validityempty logics

Mathematics Subject Classification ID

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

Related Items (8)

One step is enough ⋮ Empty logics ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Metasequents and tetravaluations ⋮ Inferential constants ⋮ A hierarchy of classical and paraconsistent logics ⋮ Metainferential duality ⋮ Sequent-calculi for metainferential logics

Cites Work

• 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
• Logical consequence and the paradoxes
• Truth and falsehood. An inquiry into generalized logical values
• Simple consequence relations
• What's wrong with tonk(?)
• Editorial introduction. Truth values. II
• The semantics and proof theory of linear logic
• Partial inductive definitions
• Naive structure, contraction and paradox
• Valuational semantics of rule derivability
• Valuations: bi, tri, and tetra
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• TRUTH WITHOUT CONTRA(DI)CTION
• ST, LP and Tolerant Metainferences
• Proof and Paradox
• A Proof-Theoretic Approach to Logic Programming
• A New Unified Account of Truth and Paradox
• OUP accepted manuscript

This page was built for publication: A family of metainferential logics