[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 2chのread.cgiへ]
Update time : 04/03 06:15 / Filesize : 192 KB / Number-of Response : 605
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論・数理論理学　その11

104 名前：スレタイスレ446 mailto:sage [2012/01/05(木) 21:17:32.98 ]
>>99>>101
＞幾らでも新たな体系を作ろうと思えば作れる。
その通りです。
ただし、>>98に掲載されている体系は、
（恐らくHandbook Of Philosophical Logicの３巻からの引用。）
ほとんどがK4やS4の拡張で、
複雑なペトリネット・公理的集合論・線形時相論理などに関する
統一的な研究に由来するようですね。





[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜192KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef