Tableaux for metainferential logics
From MaRDI portal
Cites work
- (I can't get no) antisatisfaction
- A family of metainferential logics
- A fully classical truth theory characterized by substructural means
- A hierarchy of classical and paraconsistent logics
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- An introduction to non-classical logic. From if to is
- Anti-exceptionalism, truth and the BA-plan
- Characterizing logical consequence in many-valued logic
- Classical logic and the strict tolerant hierarchy
- Conjunction and disjunction in infectious logics
- Conservatively extending classical logic with transparent truth
- Editorial introduction: substructural logics and metainferences
- Exactly true and non-falsity logics meeting infectious ones
- First-degree entailment and its relatives
- Gentzen's cut-free calculus versus the logic of paradox
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- How a Computer Should Think
- scientific article; zbMATH DE number 446843 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 120342 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 590999 (Why is no real title available?)
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logic. The laws of truth
- Meaningless divisions
- Meta-classical non-classical logics
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential logics
- Metainferential paraconsistency
- Metainferential reasoning on strong Kleene models
- Normality operators and classical recapture in many-valued logic
- Nothing but the truth
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On all strong Kleene generalizations of classical logic
- One step is enough
- Paraconsistency and analyticity
- Paraconsistent analytic implication
- Paraconsistent logic: consistency, contradiction and negation
- Proof theory of paraconsistent weak Kleene logic
- Saving truth from paradox
- Sequent-calculi for metainferential logics
- Simple tableaus for simple logics
- ST, LP and tolerant metainferences
- Substructural logics, pluralism and collapse
- Systematization of finite many-valued logics through the method of tableaux
- Tableaux and restricted quantification for systems related to weak Kleene logic
- The connectives
- The logics of strict-tolerant logic
- Theories of truth based on four-valued infectious logics
- Tolerant, classical, strict
- Translating metainferences into formulae: satisfaction operators and sequent calculi
- Two-valued logics for transparent truth theory
- What is a paraconsistent logic?
This page was built for publication: Tableaux for metainferential logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6850591)
