| Quantum number theory K Tokuo International Journal of Theoretical Physics 43, 2461-2481, 2004 | 9 | 2004 |
| Extended quantum logic K Tokuo Journal of philosophical logic 32, 549-563, 2003 | 5 | 2003 |
| Natural deduction for quantum logic K Tokuo Logica Universalis 16 (3), 469-497, 2022 | 3 | 2022 |
| Typed quantum logic K Tokuo International Journal of Theoretical Physics 42, 27-38, 2003 | 3 | 2003 |
| Implicational quantum logic K Tokuo Axiomathes 32 (Suppl 2), 473-483, 2022 | 2 | 2022 |
| Feasible computation based on quantum logic K Tokuo SN Applied Sciences 1 (10), 1255, 2019 | 1 | 2019 |
| Unified Interpretation of Quantum and Classical Logics K Tokuo Axiomathes 24 (1), 1-7, 2014 | 1 | 2014 |
| Logic of Simultaneity K Tokuo International Journal of Theoretical Physics 48, 1290-1299, 2009 | 1 | 2009 |
| a review of Natural deduction for quantum logic by Tokuo, K. 西村泰一， ニシムラヒロカズ Zentralblatt MATH, 2022 | | 2022 |
| Fungibility in Quantum Sets K Tokuo Axiomathes 29, 297-310, 2019 | | 2019 |
| Linearity and negation K Tokuo Journal of Applied Non-Classical Logics 22 (1-2), 43-51, 2012 | | 2012 |
