TY - JOUR
T1 - A Note on Majki´c’s Systems
AU - Omori, Hitoshi
AU - Waragai, Toshiharu
PY - 2010/11/4
Y1 - 2010/11/4
N2 - The present note offers a proof that systems developed by Majki´c are actually extensions of intuitionistic logic, and therefore not paraconsistent.
AB - The present note offers a proof that systems developed by Majki´c are actually extensions of intuitionistic logic, and therefore not paraconsistent.
KW - Intuitionistic logic
KW - Majki´c’s systems Zn and CZn
KW - Paraconsistent logic
UR - http://www.scopus.com/inward/record.url?scp=84867134225&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867134225&partnerID=8YFLogxK
U2 - 10.1215/00294527-2010-032
DO - 10.1215/00294527-2010-032
M3 - Article
AN - SCOPUS:84867134225
SN - 0029-4527
VL - 51
SP - 503
EP - 506
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 4
ER -