Metainferential duality

DOI10.1080/11663081.2020.1826156MaRDI QIDQ4994022zbMATH OpenOpenAlexFDO

Authors Bruno Da Ré, Federico Matias Pailos, Damian Szmuc, Paula Teijeiro

Publication date 11 June 2021

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

Full work available at URL https://philpapers.org/rec/DARMD

zbMATH Keywords

dualitycutreflexivitymetainferences

Mathematics Subject Classification ID

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

Recommendations

• Inferences and metainferences in \(\mathsf{ST}\)
• scientific article; zbMATH DE number 65539
• Current trends in substructural logics
• Substructural negations
• A family of metainferential logics

Cites work

• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 1950433 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3269001 (Why is no real title available?)
• (I can't get no) antisatisfaction
• A family of metainferential logics
• A hierarchy of classical and paraconsistent logics
• About some symmetries of negation
• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Gentzen's cut-free calculus versus the logic of paradox
• Priest's motorbike and tolerant identity
• ST, LP and tolerant metainferences
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• The connectives
• The logics of strict-tolerant logic
• Tolerance and mixed consequence in the S'valuationist setting
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• What is a paraconsistent logic?

Cited in

(10)

• (I can't get no) antisatisfaction
• Metainferential paraconsistency
• Derivability and metainferential validity
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Editorial introduction: substructural logics and metainferences
• Meta-inferences and supervaluationism
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• Systems for non-reflexive consequence
• Validities, antivalidities and contingencies: a multi-standard approach
• scientific article; zbMATH DE number 65539 (Why is no real title available?)

This page was built for publication: Metainferential duality

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