An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
Crossref DOI link: https://doi.org/10.1007/s11787-022-00305-9
Published Online: 2022-07-03
Published Print: 2022-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kamide, Norihiro
Text and Data Mining valid from 2022-07-03
Version of Record valid from 2022-07-03
Article History
Received: 3 February 2022
Accepted: 21 May 2022
First Online: 3 July 2022