@article{oai:tsukuba.repo.nii.ac.jp:00019830, author = {西村, 泰一 and NISHIMURA, Hirokazu}, issue = {2}, journal = {Publications of the Research Institute for Mathematical Sciences}, month = {}, pages = {343--353}, title = {A Study of Some Tense Logics by Gentzen's Sequential Method}, volume = {16}, year = {1980}, yomi = {ニシムラ, ヒロカズ} }