Norihiro Kamide. An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis, 16(3):389-417, 2022. [doi]
@article{Kamide22-3,
title = {An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi},
author = {Norihiro Kamide},
year = {2022},
doi = {10.1007/s11787-022-00305-9},
url = {https://doi.org/10.1007/s11787-022-00305-9},
researchr = {https://researchr.org/publication/Kamide22-3},
cites = {0},
citedby = {0},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {389-417},
}