代数的論理学
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/12 02:07 UTC 版)
代数的論理学は形式論理の意味論の研究に抽象代数学の手法を用いる。基本的な例としては、古典命題論理の真理値の表現にブール代数を用いたり、直観主義命題論理の真理値の表現にハイティング代数を用いたりすることが挙げられる。もっと強い論理、例えば一階述語論理や高階述語論理についても、筒状代数(英語版)のようなもっと複雑な代数的構造が用いられる。
※この「代数的論理学」の解説は、「数理論理学」の解説の一部です。
「代数的論理学」を含む「数理論理学」の記事については、「数理論理学」の概要を参照ください。
- 代数的論理学のページへのリンク