用いた量子命題論理の意味論構築」を協力・後援・助成しています。(助成番号T00002)ミクロスケールの物理では、物質の基本的構成要素である素粒子が生成と消滅を絶えず繰り返していることが知られており、量子場の理論を用いて記述される。これまで、量子場の理論に論理学的アプローチは用いられて来なかった。今回、我々はそのファーストステップとして、量子力学における論理として知られる量子論理を、量子場の理論における基礎量である生成消滅作用素を用いて定式化することを試みる。lattice」(投稿準備中)。最近は、量子論理を用いて量子論の基礎的な問題にアプローチできないかということについても検討している。