Bulletin of the Section of Logic 10/1 (1981)


  1. Authors:
    Revaz GRIGOLIA and Slava MESKHI

    Title:
    Critical varieties of bi-closure algebras

    Pages:
    2-8
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Grzegorz MALINOWSKI and Marek MICHALCZYK

    Title:
    Interpolation properties for a class of many-valued propositional calculi

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

    Title:
    The Boolean algebra of objectives

    Pages:
    17-23
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Max Peter URCHS

    Title:
    Kripke-style semantics for Jaskowski's system Qf

    Pages:
    24-29
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Urszula WYBRANIEC-SKARDOWSKA

    Title:
    On the theory of labels-tokens

    Pages:
    30-34
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Ewa GRACZYNSKA and Francis PASTIJN

    Title:
    Proofs of regular identities

    Pages:
    35-37
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Jan ZYGMUNT

    Title:
    Notes on decidability and finite approximability of sentential logics

    Pages:
    38-41
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Andrzej BIELA and Teodor STEPIEN

    Title:
    Lindenbaum's extensions

    Pages:
    42-47
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Marek PALASINSKI

    Title:
    Ideals in BCK-algebras which are lower semilattices

    Pages:
    48-55
    File:
    bibtex
    Abstract ( + )