Shonan Institute of Technology · Department of Informatics / Faculty of Informatics · 講師

Research keywordsKripke semantics・intuitionistic logic・lambda calculus・sequent calculus・Church Rosser theorem・intermediate logics

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Definability of Boolean Functions in Kripke Semantics2023
• Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic2022
• What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?2022
• On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem2021

• Official profile