Metainferential duality

DOI10.1080/11663081.2020.1826156zbMath1486.03043OpenAlexW4240349388MaRDI QIDQ4994022

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

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

dualityreflexivitycutmetainferences

Mathematics Subject Classification ID

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

Related Items (4)

Systems for non-reflexive consequence ⋮ Editorial introduction: substructural logics and metainferences ⋮ Derivability and metainferential validity ⋮ Validities, antivalidities and contingencies: a multi-standard approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Tolerance and mixed consequence in the S'valuationist setting
• Classical logic and the strict tolerant hierarchy
• 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
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Priest’s Motorbike and Tolerant Identity
• A family of metainferential logics
• (I can't get no) antisatisfaction

This page was built for publication: Metainferential duality