List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantum logic for observation of physical quantities | 2024-06-05 | Paper |
| Sequent Calculi for Orthologic with Strict Implication Bulletin of the Section of Logic | 2023-06-15 | Paper |
| Effect of the choice of connectives on the relation between classical logic and intuitionistic logic Notre Dame Journal of Formal Logic | 2022-07-13 | Paper |
| Labeled Sequent Calculus for Orthologic Bulletin of the Section of Logic | 2019-05-15 | Paper |
| Advanced Kripke frame for quantum logic | 2018-10-18 | Paper |
Research outcomes over time
This page was built for person: Tomoaki Kawano
