Inferences and metainferences in ST

DOI10.1007/S10992-020-09560-XzbMATH Open1485.03059OpenAlexW3083016359MaRDI QIDQ830390FDOQ830390

Authors: Pablo Cobreros, David Ripley, 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

Recommendations

• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Sequent-calculi for metainferential logics
• A family of metainferential logics
• Metainferential reasoning on strong Kleene models
• Transfinite meta-inferences
• ST, LP and tolerant metainferences
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• scientific article; zbMATH DE number 2101961
• Incompleteness in intuitionistic metamathematics
• A meta-logic of inference rules: syntax

zbMATH Keywords

proof theorystrict-tolerant logicparadoxesinternal vs external logicmetainferences

Mathematics Subject Classification ID

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

Cites Work

• The semantics and proof theory of linear logic
• The logic of paradox
• The logics of strict-tolerant logic
• Conservatively extending classical logic with transparent truth
• ST, LP and tolerant metainferences
• Tolerant, classical, strict
• Outline of a Theory of Truth
• Logical consequence and the paradoxes
• Logical pluralism
• Simple consequence relations
• Title not available (Why is that?)
• Classical logic and the strict tolerant hierarchy
• 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
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• A hierarchy of classical and paraconsistent logics

Cited In (15)

• The logics of strict-tolerant logic
• (I can't get no) antisatisfaction
• Inferential constants
• Anti-exceptionalism, truth and the BA-plan
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• ST, LP and tolerant metainferences
• Metainferential duality
• Representation results for non-cumulative logics
• Metainferential reasoning on strong Kleene models
• Sequent calculi for first-order ST
• The final cut
• Relevant consequence relations: an invitation
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• The laws of thought and the laws of truth as two sides of one coin
• Validities, antivalidities and contingencies: a multi-standard approach

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

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