Entries from 2009-10-29 to 1 day
やったからといって特に何があるわけでもないけど、気になるので重箱の隅に残ったごはん粒をつつくお仕事。 問題 直観主義様相論理の Kripke semantics では、定式化によっては次の公理が必ずしも真になりません。 で、この二つの公理のうち一方だけが真にな…
やったからといって特に何があるわけでもないけど、気になるので重箱の隅に残ったごはん粒をつつくお仕事。 問題 直観主義様相論理の Kripke semantics では、定式化によっては次の公理が必ずしも真になりません。 で、この二つの公理のうち一方だけが真にな…