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