A Note on Majkić's Systems
Omori, Hitoshi ; Waragai, Toshiharu
Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, p. 503-506 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The present note offers a proof that systems developed by Majkić are actually extensions of intuitionistic logic, and therefore not paraconsistent.
Publié le : 2010-10-15
Classification:  paraconsistent logic,  intuitionistic logic,  Majkic's systems Zn and CZn,  03B53 
@article{1285765802,
     author = {Omori, Hitoshi and Waragai, Toshiharu},
     title = {A Note on Majki\'c's Systems},
     journal = {Notre Dame J. Formal Logic},
     volume = {51},
     number = {1},
     year = {2010},
     pages = { 503-506},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1285765802}
}

Omori, Hitoshi; Waragai, Toshiharu. A Note on Majkić's Systems. Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, pp.  503-506. http://gdmltest.u-ga.fr/item/1285765802/