Entries from 2009-08-07 to 1 day
今度は A. Palmigiano の論文。概要だけ見てみたのでメモ。昨日の Hilken の論文と同じで直観主義様相論理の duality の話。ただし、こちらの論理は Hilken の考えたものよりも強くて、様相を intuitionistic first-order logic での quantifier とみなすこ…
今度は A. Palmigiano の論文。概要だけ見てみたのでメモ。昨日の Hilken の論文と同じで直観主義様相論理の duality の話。ただし、こちらの論理は Hilken の考えたものよりも強くて、様相を intuitionistic first-order logic での quantifier とみなすこ…