@article{oai:ryotokuji-u.repo.nii.ac.jp:00000044,
 author = {和手, 正道 and Wate, Masamichi},
 issue = {2},
 journal = {了德寺大学研究紀要, The Bulletin of Ryotokuji University},
 month = {},
 note = {Last year, we argued about the decision time of the classical logic. In this paper, we argue about the decision time of the intuitionistic propositional logic. There are the sequents which we are not able to decide the provability in the case of the intuitionistic logic, in contrast with the classical logic. So, we restrict to sequents to be composed only formulas which have not the plural negation (the left side does not contain the negation in the implication). Then, we can deside the provability of sequent within the exponential time.},
 pages = {113--118},
 title = {直観主義命題論理の決定時間について},
 year = {2008},
 yomi = {ワテ, マサミチ}
}