|
(Last updated : 2023-04-27 17:55:33)
Kawano Tomoaki
Kanagawa University
Faculty of Informatics Department of Computer Science
Assistant Professor
|
|
■ Present specialized field
|
Mathematical logic, Information science, Algebra
|
|
■ Book and Papers
|
1.
|
Papers
|
Quantum Logic for Observation of Physical Quantities
(Single)
2022/07
|
|
2.
|
Papers
|
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic
(Collaboration)
2022/03
|
|
3.
|
Papers
|
Sequent Calculi for Orthologic with Strict Implication
(Single)
2021/09
|
|
4.
|
Papers
|
Advanced Kripke Frame for Quantum Logic
(Single)
2018/07
|
|
5.
|
Papers
|
Labeled Sequent Calculus for Orthologic
(Single)
2018/07
|
|
Copyright © Kanagawa University. All Rights Reserved.
