"鹿島亮","非古典論理のシーケント計算 ―  完全性定理のシーケント計算による証明","日本数学会 数学基礎論分科会 1999年度年会","アブストラクト集",,,,"pp. 49-67",1999,Mar.
"Ryo Kashima,Norihiro Kamide","Substructural Implicational Logics Including the Relevant Logic E",,"Studia Logica",,"Vol. 63","No. 2","pp. 181-212",1999,
"Ryo Kashima","Labelled sequent calculi and completeness theorems for implicational relevant logics",,"Research Reports on Mathematical and Computing Sciences, TIT",,"Vol. C-140",,,1999,