Matrix approach in methodology of sentential calculi
暂无分享,去创建一个
[1] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .
[2] A. Tarski. Grundzüge der Systemenkalküls I , 1935 .
[3] Alfred Tarski. Grundzüge des Systemenkalküls II , 1936 .
[4] Jerzy Łoś,et al. The algebraic treatment of the methodology of elementary deductive systems , 1955 .
[5] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[6] Roman Suszko,et al. Formalna teoria wartości logicznych I , 1957 .
[7] J. Łoś,et al. Remarks on sentential logics , 1958 .
[8] R. Suszko. Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations , 1961 .
[9] Timothy Smiley. The Independence of Connectives , 1962, J. Symb. Log..
[10] R. Sikorski,et al. The mathematics of metamathematics , 1963 .
[11] Ronald Harrop,et al. Some structure results for propositional calculi , 1965, Journal of Symbolic Logic.
[12] O związkach pomiędzy wynikaniem, sprzecznością i zupeŀnością , 1966 .
[13] W. Pogorzelski. Kilka uwag o pojęciu zupeŀności rachunku zdań. I , 1968 .
[14] R. Harrop. Some Forms of Models of Propositional Calculi , 1968 .
[15] Allgemeine Logische und Mathematische Theorien , 1970 .
[16] R. Wójcicki,et al. Some remarks on the consequence operation in sentential logics , 1970 .
[17] R. Suszko,et al. Some theorems on abstract logics , 1970 .
[18] J. Dunn,et al. Algebraic Completeness Results for Dummett's LC and Its Extensions , 1971 .
[19] Ryszard Wójcicki,et al. The problem of reconstructability of propositional calculi , 1971 .
[20] Tadeusz Prucnal. On the structural completeness of some pure implicational propositional calculi , 1972 .
[21] Marek Tokarz. On structural completeness of Łukasiewicz's logics , 1972 .