Derivability and metainferential validity

DOI10.1007/S10992-021-09619-3MaRDI QIDQ2679587zbMATH OpenOpenAlexFDO

Authors Bruno Da Ré, Damian Szmuc, Paula Teijeiro

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)

Recommendations

• Sequent-calculi for metainferential logics
• Metainferential duality
• Deep \textsf{ST}
• Editorial introduction: substructural logics and metainferences
• (I can't get no) antisatisfaction

Cites work

• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3556029 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• A hierarchy of classical and paraconsistent logics
• About some symmetries of negation
• Classical logic and the strict tolerant hierarchy
• Completeness and super-valuations
• Conservatively extending classical logic with transparent truth
• Gentzen's cut-free calculus versus the logic of paradox
• Metainferential duality
• On the `transitivity' of consequence relations
• Priest's motorbike and tolerant identity
• ST, LP and tolerant metainferences
• Studying sequent systems via non-deterministic multiple-valued matrices
• The connectives
• The logic of paradox
• The logics of strict-tolerant logic
• Tolerance and mixed consequence in the S'valuationist setting
• Tolerant, classical, strict
• Valuational semantics of rule derivability
• Valuations: bi, tri, and tetra
• What is a paraconsistent logic?

Cited in

(6)

• External validity: from do-calculus to transportability across populations
• Inferential constants
• Metainferential paraconsistency
• Sequent calculi for first-order ST
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach

This page was built for publication: Derivability and metainferential validity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2679587)