Bulletin of the Section of Logic 20/1 (1991)


  1. Authors:
    Branislav R.BORICIC

    Title:
    Interpolation theorem for intuitionistic S4

    Pages:
    2-6
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Pawel M.IDZIAK

    Title:
    Decision problem for finite equivalential algebras

    Pages:
    7-9
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Wojciech SUCHON

    Title:
    Counting formulae of propositional calculus

    Pages:
    10-13
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ewa ORLOWSKA

    Title:
    Post relation algebra

    Pages:
    14-31
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Valentin GORANKO

    Title:
    Proving unprovability in some normal modal logic

    Pages:
    23-29
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    C.JAHNS and Wolfgang RAUTENBERG

    Title:
    Correction to Common logic of binary connective has finite maximality degree

    Pages:
    30-35
    File:
    bibtex
    Abstract ( + )