Kanagawa University · Faculty of Informatics · 助教

Research keywordsquantum logic・orthologic・sequent calculus・strict implication・Kripke semantics・intuitionistic logic

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

• 複数観測者のための量子動的認識論理
• Sequent Calculi for Orthologic with Strict Implication
• Quantum Logic for Observation of Physical Quantities
• Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

• 2020/04 量子論理に不足している概念を追加した論理の様相論理学的構成 若手研究2020 · 研究課題・受託研究・科研費
• 量子論理に不足している概念を追加した論理の様相論理学的構成

• Official profile