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


  1. Authors:
    Stanislaw J.SURMA

    Title:
    The conference on the scientific achivement of Mordchaj Wajsberg

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Stanislaw J.SURMA

    Title:
    Mordchaj Wajsberg. Life and works

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Ewa ZARNECKA-BIALY

    Title:
    Wajsberg's algorithm for the classical propositional calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Teodor STEPIEN

    Title:
    A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Jan WOLENSKI

    Title:
    Wajsberg on the first-order predicate calculus for the finite models

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Stanislaw ZACHOROWSKI

    Title:
    Wajsberg's semantics for the system S5 of Lewis

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Wladyslaw SZCZECH

    Title:
    Axiomatizability of finite matrices

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Wojciech SUCHON

    Title:
    Application of the theory of logical matrices in the independence proof

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Jacek K.KABZINSKI

    Title:
    On problems of definability of propositional connectives

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Jacek K.KABZINSKI

    Title:
    The Wajsberg's results connected with separability of the intuitionistic propositional logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    Pawel BIELAK

    Title:
    The degree of completeness of Godel's logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  12. Authors:
    Stanislaw J.SURMA

    Title:
    A method of the constructions of characterization of Lukasiewiczian logics

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  13. Authors:
    Czeslaw WOJTKIEWICZ

    Title:
    Axiomatization of finite N-algebras by the method of T.Hosoi

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  14. Authors:
    Andrzej WRONSKI

    Title:
    The degree of completeness of some fragments of the intuitionistic propositional logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )