Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics
Crossref DOI link: https://doi.org/10.1007/s10849-024-09416-6
Published Online: 2024-04-29
Published Print: 2024-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kamide, Norihiro http://orcid.org/0000-0001-7736-8055
Text and Data Mining valid from 2024-04-29
Version of Record valid from 2024-04-29
Article History
Accepted: 25 March 2024
First Online: 29 April 2024
Declarations
:
: The authors have no Conflict of interest.