Hosei University · Faculty of Business Administration · 教授

Research keywordslogic puzzles・intuitionistic logic・sheaf theory・concrete domains・domain theory・lambda algebras・fixed point constructions・categorical equivalence

Research fieldsMathematics・Algebra・Geometry・Informatics・Fundamental theory of informatics・情報科学・Foundations of mathematics/Applied mathematics・Mathematics and Physics

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

• A general form on the logic puzzles of Boolos2022 · 京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science, 2022年
• A remark on latttice models of second-order intuitionistic propositional logic Toshihiko Kurata and Ken-etsu Fujita 京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation, 2022年2022
• A remark on latttice models of second-order intuitionistic propositional logic2022 · 京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation, 2022年
• A general form on the logic puzzles of Boolos Ken-etsu Fujita and Toshihiko Kurata 京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science, 2022年2022

• Official profile
• KAKEN
• CiNii