The formal system for various 3-valued logics II
NISHIMURA, Toshio ; OHYA, Takemasa
J. Math. Soc. Japan, Tome 29 (1977) no. 4, p. 513-527 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-07-15
Classification:  02C05 
@article{1240432950,
     author = {NISHIMURA, Toshio and OHYA, Takemasa},
     title = {The formal system for various 3-valued logics II},
     journal = {J. Math. Soc. Japan},
     volume = {29},
     number = {4},
     year = {1977},
     pages = { 513-527},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1240432950}
}

NISHIMURA, Toshio; OHYA, Takemasa. The formal system for various 3-valued logics II. J. Math. Soc. Japan, Tome 29 (1977) no. 4, pp.  513-527. http://gdmltest.u-ga.fr/item/1240432950/