ハルモス代数

数理論理学におけるハルモス代数（ハルモスだいすう、）あるいは多進代数（たしんだいすう、） はポール・ハルモスの導入した代数的構造で、ブール代数が命題論理を記述するというのと同様の意味において、一階述語論理を形式化するものである。（の項を参照。）

同じように一階論理を記述する他の代数として、（一階論理が等号付きの場合）アルフレッド・タルスキの およびウィリアム・ローヴェアの函手的意味論（圏論的アプローチ）などを挙げることができる。

参考文献

関連文献 
 

代数的論理
数理論理学
数学に関する記事