- 172 名前：１３２人目の素数さん [2012/04/14(土) 00:15:19.59 ]
- >>162
モデル検査などの応用指向で時相論理を研究する人や、
哲学指向の論理学で義務論理を研究する人はそうでしょう。
しかし、様々な代数系の数学的性質を調べるのと同様に、
時相論理や義務論理の数学的性質プロパーに興味をもって
研究している非古典論理研究者もいるのではないでしょうか。
それにどれだけの意義があるかは別問題として。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その12
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef