ブール代数の公理系についてのメモ。論理学の本では、束→分配束→ブール束という順番で公理系を強化していくが、新たに公理を付け加えたことで、中には冗長になる束の公理もあるらしい。ハンティントン(1904年)の公理系は 同一律 identity 交換律 commutati…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。