12/01/05 19:40:15.42
様相論理も部分構造論理も、幾らでも新たな体系を作ろうと思えば作れる。
研究と称して、そういった体系のお決まりの性質（完全性、有限モデル性、決定可能性、カット除去等々）を
これまたお決まりの方法で証明する、というオリジナリティのかけらもない論文が多すぎる。
よってそれらをすべて網羅する必要があるとは思われない。
12/01/05 19:40:15.42
様相論理も部分構造論理も、幾らでも新たな体系を作ろうと思えば作れる。
研究と称して、そういった体系のお決まりの性質（完全性、有限モデル性、決定可能性、カット除去等々）を
これまたお決まりの方法で証明する、というオリジナリティのかけらもない論文が多すぎる。
よってそれらをすべて網羅する必要があるとは思われない。