Bulletin of the Section of Logic 13/1 (1984)


  1. Authors:
    Krzysztof RUDNIK

    Title:
    A generalization of the interpolation theorem for the many sorted calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Marek PALASINSKI

    Title:
    On BCK-algebras with the operation (S)

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Boguslaw WOLNIEWICZ

    Title:
    An algebra of subsets for join-semilattices with unit

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Kazimiera DYRDA

    Title:
    On simple algebras in Esn

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

    Title:
    A note on Lambek - van Benthem calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )