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


  1. Authors:
    Zdzislaw DYWAN and Teodor STEPIEN

    Title:
    Every two-valuated propositional calculus has the interpolation property

    Pages:
    152-153
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Zdzislaw DYWAN

    Title:
    Quasi-strongly finite sentential calculi

    Pages:
    154-158
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Martin W.BUNDER

    Title:
    A note on quantified significance logic

    Pages:
    159-162
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Marek PALASINSKI

    Title:
    An example of the commutative BCK-algebra

    Pages:
    163-165
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Marek PALASINSKI and Barbara WOZNIAKOWSKA

    Title:
    Finitely generated ideals in directed commutative BCK-algebras

    Pages:
    166-169
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Piotr S.KRZYSTEK

    Title:
    Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics

    Pages:
    170-175
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Andrzej WRONSKI

    Title:
    On reducts of intermediate logics

    Pages:
    176-179
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Jacek K.KABZINSKI

    Title:
    Towards the source of the notion of implication

    Pages:
    180-183
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Jacek K.KABZINSKI

    Title:
    What is the equivalence connective

    Pages:
    184-188
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Michael A.McROBBIE, Paul B.THISTLEWAITE and Robert K.MEYER

    Title:
    A mechanized decision procedure for non-classical logics: The program KRIPKE

    Pages:
    189-192
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    Hajnal ANDREKA, Peter BURMEISTER and Istvan NEMETI

    Title:
    Quasi equational logic of partial algebras

    Pages:
    193-197
    File:
    bibtex
    Abstract ( + )