Bulletin of the Section of Logic 14/1 (1985)


  1. Authors:
    Zdzislaw DYWAN

    Title:
    On a certain method of producing logical matrices

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

    Title:
    A new variant of the Godel-Malcev theorem for the classical propositional calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Tadeusz PRUCNAL

    Title:
    On finitely E-based consequence determined by Wronski's matrix

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Grzegorz MALINOWSKI

    Title:
    Non-Fregean logic and other formalizations of propositional identity

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Kazimiera DYRDA

    Title:
    On classification of commutative BCK-logics

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Teodor STEPIEN

    Title:
    On number of Lindenbaum's oversystems of propositional and predicate calculi

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Bronislaw TEMBROWSKI

    Title:
    QB and normal algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )