An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

DOI10.1007/S11787-022-00305-9MaRDI QIDQ2084568zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 18 October 2022

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-022-00305-9

zbMATH Keywords

completeness theoremcut-elimination theoremGentzen-type sequent calculusparadefinite logic

Mathematics Subject Classification ID

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

Recommendations

• Yet another paradefinite logic: The role of conflation1
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• An extended first-order Belnap-Dunn logic with classical negation
• Proof systems combining classical and paraconsistent negations

Cites work

• A calculus of antinomics
• A new four-valued approach to modal logic
• A propositional logic with subjunctive conditionals
• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
• A unified semantic framework for fully structural propositional sequent systems
• An extended first-order Belnap-Dunn logic with classical negation
• Classical negation and expansions of Belnap-Dunn logic
• Connexive implication
• Constructible falsity
• Constructible falsity and inexact predicates
• Four-valued paradefinite logics
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• Handbook of philosophical logic. Vol. 6
• Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3074070 (Why is no real title available?)
• Ideal paraconsistent logics
• Idempotent full paraconsistent negations are not algebraizable
• Informational interpretation of substructural propositional logics
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Minimal paradefinite logics for reasoning with incompleteness and inconsistency
• Partiality and its dual
• Reasoning with logical bilattices
• Self-extensional three-valued paraconsistent logics
• Self-extensional three-valued paraconsistent logics have no implication
• The logic of information structures
• The logic of paradox
• The normal and self-extensional extension of Dunn-Belnap logic
• The value of the four values
• Three-valued paraconsistent propositional logics
• Yet another paradefinite logic: The role of conflation1

Cited in

(3)

• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• scientific article; zbMATH DE number 2019867 (Why is no real title available?)
• scientific article; zbMATH DE number 2213624 (Why is no real title available?)

This page was built for publication: An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

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