link.springer.com
link.springer.com
link.springer.com
link.springer.com
link.springer.com
National Institute of Technology, Oita College / Professor
Natural Deduction for Quantum Logic - Logica Universalis
Kenji Tokuo
National Institute of Technology, Oita College / ProfessorOita, Japan
Discover companies you will love
Kenji Tokuo
National Institute of Technology, Oita College / Professor
Abstract Nonsense
I am a faculty member in the Department of Information Engineering at National Institute of Technology, Oita College. My research interests are mathematical logic, analytic philosophy, and foundation of quantum theory.
National Institute of Technology, Oita College17 years
ProfessorPresent
- Present
Kyoto University4 years
Part-Time Lecturer
-
Kyoto University
Graduate School of Human and Environmental Studies
Mathematical Logic
Faculty of Science
Mathematics