Naosuke Matsuda

Available identifiers

Publication	Date of Publication	Type
Definability of Boolean functions in Kripke semantics	2024-01-15	Paper
What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?	2023-06-02	Paper
Cut-free sequent calculi for logics characterized by finite linear Kripke frames	2022-08-10	Paper
Effect of the choice of connectives on the relation between classical logic and intuitionistic logic	2022-07-13	Paper
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem	2021-12-27	Paper
Term-space semantics of typed lambda calculus	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	2015-12-07	Paper
A simplified proof of the Church-Rosser theorem	2014-06-19	Paper

This page was built for person: Naosuke Matsuda