前回に引き続き Heyting 代数の性質を見ていきます.最小元 を持つ Heyting 代数 において と定義し, これを の擬補元と言うのでした. 今回は擬補元の性質を中心に見ていきます.1. ならば 2. の定義より明らか.3. 2. より 4. 3. で を で置き換えると 一方で …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。