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 .