2015-07-12から1日間の記事一覧

　Multiple Discharge of Assumptions in a Natural Deduction Framework Amounts to the Application of Structural Contraction Rule in Sequent Calculus.

Contraction Substructural Logics

前回の日記では、次の回は Curry's Paradox のやや formal な説明を行ないますと述べましたが、その説明の前に、関連しますが別の話題を今日は記します。予定変更ですみません。 先日、次の論文を一通り読み終えたのですが、 Jc Beall and Julien Murzi ''Tw…

■

入手文献 入手文献

洋書 John Etchemendy The Concept of Logical Consequence, CSLI Publications, The David Hume Series, 1999 Bimal Krishna Matilal Epistemology, Logic and Grammar in Indian Philosophical Analysis, New Edition, ed. by Jonardon Ganeri, Oxford Uni…