@article{oai:niigata-u.repo.nii.ac.jp:00002100, author = {Hanazawa, Masazumi and Takano, Mitio}, issue = {3}, journal = {Journal of the Mathematical Society of Japan}, month = {}, pages = {409--419}, title = {On intuitionistic many-valued logics}, volume = {38}, year = {1986} }