ブール代数
これらは、いずれも命題論理（モデルはブール代数）を拡張したものである。