@article{CTT100386232,
  author = {Ichiro Hasuo and Ryo Kashima},
  title = {Kripke Completeness of First-Order Constructive Logics with Strong Negation},
  journal = {Logic Journal of the Interest Group in Pure and Applied Logics},
  year = 2003,
}

@article{CTT100483232,
  author = {Katsumasa Ishii and Ryo Kashima and Kentaro Kikuchi},
  title = {Sequent Calculi for Visser's Propositional Logics},
  journal = {Notre Dame Journal of Formal Logic},
  year = 2003,
}

@article{CTT100483233,
  author = {Ryo Kashima},
  title = {On Semilattice Relevant Logics},
  journal = {Mathematical Logic Quarterly},
  year = 2003,
}

@misc{CTT100483285,
  author = {Ichiro Hasuo and Ryo Kashima},
  title = {A Proof-Theoretical Study on Logics with  Constructible Falsity},
  year = 2003,
}