monadic Boolean algebra

algebraを提案した。polyadic algebraは一階述語論理の代数版であり、よりよく知られているアルフレト・タルスキとその弟子達によるCylindric algebraとは異なる。polyadic algebraの初等的なものは記事monadic Boolean algebraで説明されている。