Inferences and metainferences in ST
From MaRDI portal
Publication:830390
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
Cites work
- scientific article; zbMATH DE number 1215493 (Why is no real title available?)
- A hierarchy of classical and paraconsistent logics
- Classical logic and the strict tolerant hierarchy
- Conservatively extending classical logic with transparent truth
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Logical consequence and the paradoxes
- Logical pluralism
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Outline of a Theory of Truth
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
- Principles for object-linguistic consequence: from logical to irreflexive
- ST, LP and tolerant metainferences
- Simple consequence relations
- The logic of paradox
- The logics of strict-tolerant logic
- The semantics and proof theory of linear logic
- Tolerant, classical, strict
Cited in
(16)- 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
- Deep \textsf{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)
