Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics |
scientific article; zbMATH DE number 7919887
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics |
scientific article; zbMATH DE number 7919887 |
Statements
Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (English)
0 references
27 September 2024
0 references
rule of excluded middle
0 references
rule of explosion
0 references
falsification-aware Gentzen-style sequent calculus
0 references
single-succedent Gentzen-style sequent calculus
0 references
cut-elimination theorem
0 references
0 references
