Rchr
J-GLOBAL ID：200901057962368050
Update date: Feb. 24, 2025
TOKUO Kenji
TOKUO Kenji
Affiliation and department：
Job title：
Professor
Homepage URL (1)：
http://onct.oita-ct.ac.jp/seigyo/tokuo_hp/
Research field (6)：
Philosophy and ethics
, Mathematical physics and basic theory
, Philosophy and ethics
, Applied mathematics and statistics
, Basic mathematics
, Information theory
Research keywords (6)：
Philosophy of Science
, Analytic Philosophy
, Non-Classical Logic
, Mathematical Logic
, Modal Logic
, Quantum Logic
Research theme for competitive and other funds (1)：
- 2024 - 2027 Development of inference and computation theory based on quantum logic focusing on implication operations
Papers (12)：
-
Kenji Tokuo. Decidability of quantum modal logic. Logic Journal of the IGPL. 2025. to appear
-
Kenji Tokuo. Quantum modal logic. Logic Journal of the IGPL. 2024
-
Kenji Tokuo. Natural Deduction for Quantum Logic. Logica Universalis. 2022. 16. 3. 469-497
-
Kenji Tokuo. Implicational quantum logic. Axiomathes. 2022. 32. Suppl 2. 473-483
-
Kenji Tokuo. Feasible Computation Based on Quantum Logic. SN Applied Sciences. 2019. 1:1255
ｍore...
MISC (4)：
-
Kenji Tokuo. Review of B. Lindenhovius and T. Vetterlein's A characterisation of orthomodular spaces by Sasaki maps. Mathematical Reviews. 2024. MR4557938
-
Kenji Tokuo. Review of S. Zhong's Quantum entanglement: an analysis via the orthogonality relation. Mathematical Reviews. 2024. MR4624096
-
Kenji Tokuo. Review of I. Chajda and H. Länger's Tense logic based on finite orthomodular posets. Mathematical Reviews. 2023. MR4572237
-
Kenji Tokuo. Review of D. Fazio, A. Ledda and F. Paoli's On Finch's conditions for the completion of orthomodular posets. Mathematical Reviews. 2023. MR4544240
Lectures and oral presentations (1)：
-
Natural Deduction for Quantum Logic
(Logica Universalis Webinar 2022 (LUW 2022) 2022)
Education (4)：
- 2001 - 2003 Kyoto University Graduate School of Human and Environmental Studies Department of Human and Environmental Studies
- 2000 - 2001 Kyoto University Graduate School of Human and Environmental Studies Department of Cultural and Regional Environmental Studies
- 1998 - 2000 Kyoto University Graduate School of Human and Environmental Studies Department of Cultural and Regional Environmental Studies
- 1994 - 1998 Kyoto University Faculty of Science Department of Mathematics
Professional career (1)：
Work history (5)：
- 2021/04 - 現在 National Institute of Technology, Oita College Department of Information Engineering Professor
- 2012/04 - 2021/03 National Institute of Technology, Oita College Department of Information Engineering Associate Professor
- 2009/04 - 2012/03 Oita National College of Technology Department of Computer and Control Engineering Associate Professor
- 2007/04 - 2009/03 Oita National College of Technology Department of Computer and Control Engineering Assistant Professor
- 2003/04 - 2007/03 Kyoto University Institute for the Promotion of Excellence in Higher Education Part-time Lecturer
Association Membership(s) (2)：
Association for Symbolic Logic (ASL)
, Association for Computing Machinery (ACM)
