Bulletin of the Section of Logic 2/2 (1973)details


Table of contents

• 1. Stanislaw J.SURMA, The conference on the scientific achivement of Mordchaj Wajsberg


• 2. Stanislaw J.SURMA, Mordchaj Wajsberg. Life and works


• 3. Ewa ZARNECKA-BIALY, Wajsberg's algorithm for the classical propositional calculus


• 4. Teodor STEPIEN, A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus


• 5. Jan WOLENSKI, Wajsberg on the first-order predicate calculus for the finite models


• 6. Stanislaw ZACHOROWSKI, Wajsberg's semantics for the system S5 of Lewis


• 7. Wladyslaw SZCZECH, Axiomatizability of finite matrices


• 8. Wojciech SUCHON, Application of the theory of logical matrices in the independence proof


• 9. Jacek K.KABZINSKI, On problems of definability of propositional connectives


• 10. Jacek K.KABZINSKI, The Wajsberg's results connected with separability of the intuitionistic propositional logic


• 11. Pawel BIELAK, The degree of completeness of Godel's logic


• 12. Stanislaw J.SURMA, A method of the constructions of characterization of Lukasiewiczian logics


• 13. Czeslaw WOJTKIEWICZ, Axiomatization of finite N-algebras by the method of T.Hosoi


• 14. Andrzej WRONSKI, The degree of completeness of some fragments of the intuitionistic propositional logic