Bulletin of the Section of Logic 9/3 (1980)


  1. Authors:
    Jan BERNERT

    Title:
    The strongly adequate matrices of the form of product of Lindenbaum's matrices

    Pages:
    102-107
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Janusz CZELAKOWSKI

    Title:
    Equivalential logics (II)

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

    Title:
    On the lattice of elementary situations

    Pages:
    115-121
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Jacek HAWRANEK

    Title:
    A matrix adequate for S5 with MP and RN

    Pages:
    122-124
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Janusz CZELAKOWSKI

    Title:
    A remark on free products

    Pages:
    125-130
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Laszlo CSIRMAZ

    Title:
    Remarks on Floyd-Hoare derivability

    Pages:
    131-135
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Wieslaw DZIOBIAK

    Title:
    The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

    Pages:
    136-140
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Malgorzata BIELECKA-HOLDA

    Title:
    Independent basis for the consequence determined by non-degenerated distributive lattices

    Pages:
    141-144
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Marek PALASINSKI

    Title:
    On ideals in directed commutative BCK-algebra

    Pages:
    145-151
    File:
    bibtex
    Abstract ( + )