Bulletin of the Section of Logic 8/4 (1979)


  1. Authors:
    Ryszard WOJCICKI

    Title:
    Referential matrix semantics for propositional calculi

    Pages:
    170-176
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Martin W.BUNDER

    Title:
    Paraconsistent combinatory logic

    Pages:
    177-181
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Jacek K.KABZINSKI

    Title:
    On equivalential fragment of the three-valued logic of Lukasiewicz

    Pages:
    182-187
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Marek PALASINSKI and Barbara WOZNIAKOWSKA

    Title:
    On congruence lattices of commutative BCK-algebras

    Pages:
    188-190
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    David MILLER

    Title:
    Metric postulates for modular, distributive, and Boolean lattices

    Pages:
    191-196
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Ewa CAPINSKA

    Title:
    On intermediate logics which can be axiomatised by means of implicationless formulas

    Pages:
    197-201
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Ewa CAPINSKA

    Title:
    On standard consequence operations in the implicationless language

    Pages:
    202-204
    File:
    bibtex
    Abstract ( + )