量子論理における含意とシークエント計算の研究 | T2R2 東京科学大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	量子論理における含意とシークエント計算の研究
英文:	Studies on Implications and Sequent Calculi for Quantum Logic

著者

和文:	河野友亮.
英文:	Tomoaki Kawano.

種別

種別:	学位論文(博士)論文要旨
国名:	日本

言語

Japanese

学位授与組織

東京工業大学

報告番号

甲第10940号

学位授与日

2018/09/20

審査員

鹿島亮, 南出靖彦, 伊東利哉, 田中圭介, 寺嶋郁二.

ファイル

©2007 Institute of Science Tokyo All rights reserved.