A formalization of the propositional calculus of H-B logic Cecylia Rauszer OriginalPaper Pages: 23 - 34
Translations and structure for partial propositional calculi E. William Chapin Jr. OriginalPaper Pages: 35 - 57
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi Tadeusz Prucnal OriginalPaper Pages: 59 - 64
Concerning the notion of completeness of invariant propositional calculi Witold A. Pogorzelski OriginalPaper Pages: 69 - 72
A set theoretic versus a model theoretic approach to the logical structure of physical theories Marian Przełęcki OriginalPaper Pages: 91 - 105
Definability of classes of graphs in the first order predicate calculus with identity L. Koncewicz Errata to the Paper Pages: 119 - 120