2016-08-08から1日間の記事一覧

Hilbert algebra の性質の証明

ちょっと気になってやってみたのをどこかにメモしたくなったので書いた。関数解析じゃなくて論理の方の Hilbert algebra です。 Hilbert algebra の公理 が Hilbert algebra とは if then 性質 で順序が入り,1 が最大元 などが成り立つ。証明は下に書くけど…