A family of metainferential logics
From MaRDI portal
Publication:5742701
DOI10.1080/11663081.2018.1534486zbMath1444.03084OpenAlexW2908887529MaRDI QIDQ5742701
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
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