@article{CTT100426444,
  author = {Ryo Kashima and Norihiro Kamide},
  title = {Substructural Implicational Logics Including the Relevant Logic E},
  journal = {Studia Logica},
  year = 1999,
}

@inproceedings{CTT100436250,
  author = {鹿島亮},
  title = {非古典論理のシーケント計算 ―  完全性定理のシーケント計算による証明},
  booktitle = {アブストラクト集},
  year = 1999,
}

@misc{CTT100436251,
  author = {Ryo Kashima},
  title = {Labelled sequent calculi and completeness theorems for implicational relevant logics},
  year = 1999,
}