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

Cites Work

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

Cited In (3)

Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
Title not available (Why is that?)
Title not available (Why is that?)

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)