Semantical archaeology: A parable
暂无分享,去创建一个
A somewhat fictionalized account of several interpretations of implication is presented together with comparisons between classical, modal, tense, and intuitionistic logics.
[1] A. Tarski. Der Aussagenkalkül und die Topologie , 1938 .