Derivability and metainferential validity

DOI10.1007/S10992-021-09619-3OpenAlexW3185325595MaRDI QIDQ2679587

Paula Teijeiro, Bruno Da Ré, Damian Szmuc

Publication date: 23 January 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09619-3

zbMATH Keywords

derivabilitynon-reflexive logicsabsolute global validitylocal validitynon-transitive logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Inferential constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• Tolerance and mixed consequence in the S'valuationist setting
• Completeness and super-valuations
• The logic of paradox
• Valuational semantics of rule derivability
• Classical logic and the strict tolerant hierarchy
• Valuations: bi, tri, and tetra
• A hierarchy of classical and paraconsistent logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• What is a Paraconsistent Logic?
• ST, LP and Tolerant Metainferences
• About some symmetries of negation
• On the ‘transitivity’ of consequence relations
• Metainferential duality
• Priest’s Motorbike and Tolerant Identity

This page was built for publication: Derivability and metainferential validity