研究課題
基盤研究(C)
古典論理の代数的意味論は、ブール代数と呼ばれる代数系(19世紀のG. Booleにちなんで命名)によって与えられた。ブール代数の完備化によって、古典的述語論理を捕らえられることが知られている。しかし、これを非古典述語論理に拡張することは、困難であった。本研究では、完備化ではなく、圏論での随伴(adjoint)の概念を利用して、いくつかの非古典述語論理の代数的意味論を再構築し、その応用を示した。
数学(数理論理学・非古典論理)