03/12/10 21:45
近年は特に計算機科学との関連でさかんに研究されている、さまざまな非古典論理
（様相論理・認識論理・時間論理・多値論理・関連性論理・パラコンシステント論理、
等々）について語ってください。
※ 過度に哲学的な議論や、ｴﾑｼﾗについての話題はご遠慮ください。
03/12/10 21:45
近年は特に計算機科学との関連でさかんに研究されている、さまざまな非古典論理
（様相論理・認識論理・時間論理・多値論理・関連性論理・パラコンシステント論理、
等々）について語ってください。
※ 過度に哲学的な議論や、ｴﾑｼﾗについての話題はご遠慮ください。