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