| Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic M Toyooka, K Sano ICLA, 128-133, 2021 | 6 | 2021 |
| Combining first-order classical and intuitionistic logic M Toyooka, K Sano arXiv preprint arXiv:2204.06723, 2022 | 5 | 2022 |
| Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation M Toyooka, K Sano Studia Logica, 1-31, 2024 | | 2024 |
| Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic M Toyooka, K Sano The Australasian Journal of Logic 20 (3), 397-411, 2023 | | 2023 |
| A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic M Toyooka International Conference on Logic and Engineering of Natural Language …, 2022 | | 2022 |
| Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic M Toyooka, K Sano arXiv preprint arXiv:2207.07416, 2022 | | 2022 |
| Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic M Toyooka, K Sano | | 2022 |
| < サーヴェイ論文> 証明論的意味論における原子ベースと完全性の連関 豊岡正庸 科学哲学科学史研究 15, 85-111, 2021 | | 2021 |
| A Tree-Sequent Method for Intermediate Predicate Logic CD Expanded with Empirical Negation M Toyooka THE PROOF SOCIETY, 86, 0 | | |
