Papers

Journal Papers & Full Papers

1. ``How can we avoid Popper's collapsing problem and have Craig interpolation?'' (with Katsuhiko Sano). Annals of the Japan Association for Philosophy of Science, 33: 145-162. Dec. 2024. 

2. ``Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation'' (with Katsuhiko Sano).  Studia Logica, 112:1091-1121. Oct. 2024. 

3. ``A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic''.   Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers, volume 14213 of LNCS. pp. 100-119. Springer, Cham. Oct. 2023.

4.  ``Semantic incompleteness of del Cerro and Herzig's Hilbert system for a combination of classical and intuitionistic propositional logic'' (with Katsuhiko Sano).  Australasian Journal of Logic, 20(3):396-410. Oct. 2023.

5.  ``Combining first-order classical and intuitionistic logic'' (with Katsuhiko Sano). Electronic Proceedings in Theoretical Computer Science, 358:25-40. Apr. 2022.

6. ``A peaceful coexistence of different logics and the concept of harmony in proof-theoretic semantics'' (in Japanese). Japanese Student Research Notes of Philosophy of Science, 4:69-77. Philosophy of Science Society, Japan & Japan Association for Philosophy of Science. Jun. 2021. 

7. ``A Connection between atomic base and completeness in proof-theoretic semantics'' (Survey Article, in Japanese).  PHS Studies, 15:85-111. Department of Philosophy and History of Science Faculty of Letters, Kyoto University. Apr. 2021.

Conference Proceedings & Abstracts

1. ``A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic'' (Abstract). Proceedings of the 19th International Workshop of Logic and Engineering  of Natural Language Semantics (LENLS19). pp. 77-81. Nov. 2022.

2. ``Craig interpolation for a sequent calculus for combining intuitionistic and classical propositional logic'' (with Katsuhiko Sano). Proceedings of SOCREAL2022: 6th International Workshop on Philosophy and Logic of Social Reality. pp. 62 -66. Mar. 2022.

3. ``Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic'' (with Katsuhiko Sano). ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications. pp.128-133. Mar. 2021.

Others

1. ``Semantic incompleteness of Hilbert system for a combination of classical and intuitionistic logic'' (with Katsuhiko Sano). arXiv. Jul. 2022