Entries from 2009-08-03 to 1 day
distributivity のない可能様相をもつ直観主義様相論理の完全性はどうやって証明するものだったかなと思って "Categorical and Kripke semantics for constructive S4 modal logic" (Alechina et al. '01) を読み返しました。 気づいたこと: completeness fo…
distributivity のない可能様相をもつ直観主義様相論理の完全性はどうやって証明するものだったかなと思って "Categorical and Kripke semantics for constructive S4 modal logic" (Alechina et al. '01) を読み返しました。 気づいたこと: completeness fo…