Naosuke Matsuda

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
Definability of Boolean functions in Kripke semantics Notre Dame Journal of Formal Logic	2024-01-15	Paper
What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? Logic, Language, Information, and Computation	2023-06-02	Paper
Cut-free sequent calculi for logics characterized by finite linear Kripke frames Logic Journal of the IGPL	2022-08-10	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
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem Studia Logica	2021-12-27	Paper
Term-space semantics of typed lambda calculus Notre Dame Journal of Formal Logic	2021-09-07	Paper
Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic	2021-07-08	Paper
Reduction rules for intuitionistic \(\lambda\rho\)-calculus Studia Logica	2015-12-07	Paper
A simplified proof of the Church-Rosser theorem Studia Logica	2014-06-19	Paper

Research outcomes over time

This page was built for person: Naosuke Matsuda