Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/igpl/NideGF19
AU - Nide, Naoyuki
AU - Goto, Yuki
AU - Fujita, Megumi
TI - Sequent calculus for 3-valued paraconsistent logic QMPT0.
JO - Log. J. IGPL
VL - 27
IS - 4
SP - 507
EP - 521
PY - 2019//
DO - 10.1093/JIGPAL/JZZ016
UR - https://doi.org/10.1093/jigpal/jzz016
ER -