logic
雑誌ごとの傾向の比較をするための客観的な指標はないかなと思って,試しに abstract に現れる単語を比較してみました。知識があればもっと数学的に裏打ちされた何かを使うところなのでしょうが,よくわからないので適当に当たりをつけて見比べるだけ。Web o…
探してみました。ついでに最近の論文のタイトルを眺めて特徴を比較してみました。でもあんまり読めてる自信ないので鵜呑みにしないでください。 Algebra and Logic http://www.springer.com/mathematics/algebra/journal/10469 http://math.nsc.ru/~alglog/…
最近,古典論理に対応する計算体系について勉強してます。古典論理だと Peirce's law と call/cc が対応するとかいう話がわりと有名で,基本的にはコントロールオペレータを含む体系になります。それで,そこにさらに様相が入った場合にはどんなことになるの…