Entries from 2009-08-06 to 1 day
B. P. Hilken の論文。見た*1のでメモ。 概要 二項関係の入った位相空間 (relational spaces) と、様相演算子 □, ◇ の入った frame (modal frame) *2 の間の双対性についての論文。要するに Stone duality の直観主義様相論理版を考えましょうということ。直…
B. P. Hilken の論文。見た*1のでメモ。 概要 二項関係の入った位相空間 (relational spaces) と、様相演算子 □, ◇ の入った frame (modal frame) *2 の間の双対性についての論文。要するに Stone duality の直観主義様相論理版を考えましょうということ。直…