Inferences and metainferences in \(\mathsf{ST}\)

DOI10.1007/S10992-020-09560-XzbMath1485.03059OpenAlexW3083016359MaRDI QIDQ830390

David Ripley, Pablo Cobreros, Robert van Rooij, Paul Égré

Publication date: 7 May 2021

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

Full work available at URL: https://doi.org/10.1007/s10992-020-09560-x

zbMATH Keywords

paradoxesproof theorystrict-tolerant logicinternal vs external logicmetainferences

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (6)

Representation results for non-cumulative logics ⋮ The final cut ⋮ (I can't get no) antisatisfaction ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Inferential constants ⋮ Validities, antivalidities and contingencies: a multi-standard approach

Cites Work

• The logics of strict-tolerant logic
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Principles for object-linguistic consequence: from logical to irreflexive
• Simple consequence relations
• The semantics and proof theory of linear logic
• The logic of paradox
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Classical logic and the strict tolerant hierarchy
• A hierarchy of classical and paraconsistent logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• ST, LP and Tolerant Metainferences
• Outline of a Theory of Truth
• Logical Pluralism
• Unnamed Item

This page was built for publication: Inferences and metainferences in \(\mathsf{ST}\)