575 followers
GR の Craig 補間性は Sidon (1994) によって証明されています. ではここで GR は LIP や UIP をもつのか,という問題が考えられます.ただ,GR は特に ■ が正規ではないため,良い感じのクリプキ意味論を持たず,特に LIP を証明する部分に問題がありました. https://t.co/4UmtcnQD1i
GR の Craig 補間性は Sidon (1994) によって証明されています. ではここで GR は LIP や UIP をもつのか,という問題が考えられます.ただ,GR は特に ■ が正規ではないため,良い感じのクリプキ意味論を持たず,特に LIP を証明する部分に問題がありました. https://t.co/4UmtcnQD1i