Entries from 2009-04-08 to 1 day
Canonical extensions and relational completeness of some substructural logics という論文を読もうとしましたが、序盤からよくわからないので調べたり計算したりしていました。どうやら Dedekind-MacNeille completion のことがよくわかっていない様子。…
Canonical extensions and relational completeness of some substructural logics という論文を読もうとしましたが、序盤からよくわからないので調べたり計算したりしていました。どうやら Dedekind-MacNeille completion のことがよくわかっていない様子。…