Bulletin of the Section of Logic 12/2 (1983)


  1. Authors:
    Piotr S.KRZYSTEK

    Title:
    Commutative BCK-algebras do not enjoy the interpolation property

    Pages:
    50-54
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Kazimiera DYRDA

    Title:
    Some remarks on WMV-algebras

    Pages:
    55-63
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Ildiko SAIN

    Title:
    Total correctness in nonstandard dynamic logic

    Pages:
    64-70
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Tadeusz PRUCNAL

    Title:
    Topological representation of atomic co-diagonalizable algebras

    Pages:
    71-72
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Dolph ULRICH

    Title:
    Models of three-valued calculi in inplicational S5

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

    Title:
    A finite base for the consequence operation

    Pages:
    76-89
    File:
    bibtex
    Abstract ( + )