"Tomoaki Kawano","Studies on Implications and Sequent Calculi for Quantum Logic",,,,,,,2018,Sept.
"河野友亮","量子論理における含意とシークエント計算の研究",,,,,,,2018,Sept.
"Tomoaki Kawano","Studies on Implications and Sequent Calculi for Quantum Logic",,,,,,,2018,Sept.