@article{oai:tsukuba.repo.nii.ac.jp:00015807, author = {Maehara, Shoji}, issue = {2}, journal = {Tsukuba Journal of Mathematics}, month = {Dec}, pages = {509--521}, title = {Lattice-valued representation of the cut-elimination theorem}, volume = {15}, year = {1991} }