Bulletin of the Section of Logic 1/1 (1972)


  1. Authors:
    Nguen CAT-HO

    Title:
    Generalized algebras of Post and their applications to infinitely many-valued logics with infinitely long formulas

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Jerzy KOTAS

    Title:
    Logical systems with implication and theories of quasi-implicative algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Tadeusz KUBINSKI

    Title:
    On logic of deeds

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Jerzy SLUPECKI and Grzegorz BRYLL

    Title:
    The proof of L-decidability of Lewis' system S5

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

    Title:
    On non-equivalence of two definitions of the algebras of Lukasiewicz

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

    Title:
    An algorithm for finding finite axiomatizations of finite intermediate logics

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

    Title:
    The deduction theorems valid in certain fragments of the Lewis' system S2 and the system of Feys - von Wright

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

    Title:
    A uniform method of proof of the completeness its extentions

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Marek TOKARZ

    Title:
    On invariant systems and structural completeness of Lukasiewicz's logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Ryszard WOJCICKI

    Title:
    Some properties of strongly finite propositional calculi

    Pages:
    -
    File:
    bibtex
    Abstract ( + )