Inferential Many-Valuedness
暂无分享,去创建一个
[1] Roman Suszko,et al. 'Abolition of the Fregean Axiom', in: Logic Colloquium, Symposium on Logic Held at Boston, 1972-73 , 1975 .
[2] Janusz Czelakowski,et al. Key notions of Tarski's methodology of deductive systems , 1985, Stud Logica.
[3] G. Frege. Über Sinn und Bedeutung , 1892 .
[4] Roman Suszko,et al. The Fregean Axiom and Polish mathematical logic in the 1920s , 1977 .
[5] Danas. Scott. Background to Formalization , 1973 .
[6] R. Suszko. Abolition of the fregean axiom , 1975 .
[7] R. Wójcicki,et al. Some remarks on the consequence operation in sentential logics , 1970 .
[8] A. Urquhart. An Interpretation of Many‐Valued Logic , 1973 .