@misc{CTT100770598,
  author = {Tomoaki Kawano},
  title = {Studies on Implications and Sequent Calculi for Quantum Logic},
  year = 2018,
}

@misc{CTT100770599,
  author = {河野友亮},
  title = {量子論理における含意とシークエント計算の研究},
  year = 2018,
}

@misc{CTT100806236,
  author = {Tomoaki Kawano},
  title = {Studies on Implications and Sequent Calculi for Quantum Logic},
  year = 2018,
}



@phdthesis{CTT100770598,
  author = {Tomoaki Kawano},
  title = {Studies on Implications and Sequent Calculi for Quantum Logic},
  school = {東京工業大学},
  year = 2018,
}

@phdthesis{CTT100770599,
  author = {河野友亮},
  title = {量子論理における含意とシークエント計算の研究},
  school = {東京工業大学},
  year = 2018,
}

@phdthesis{CTT100806236,
  author = {Tomoaki Kawano},
  title = {Studies on Implications and Sequent Calculi for Quantum Logic},
  school = {東京工業大学},
  year = 2018,
}