"RYO KASHIMA","Proof Theoretical Studies of Classical/Nonclassical Logics",,,,,,,1995,