Bulletin of the Section of Logic 12/3 (1983)


  1. Authors:
    Grzegorz MALINOWSKI

    Title:
    Pseudo-referential matrix semantics for propositional logics

    Pages:
    90-98
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Milan BOZIC and Kosta DOSEN

    Title:
    Axiomatization of intuitionistic double negation

    Pages:
    99-104
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Irena JANICKA-ZUK

    Title:
    Strong amalgamation property of diagonalizable algebras

    Pages:
    105-110
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Janusz CZELAKOWSKI

    Title:
    Algebraic aspects of deduction theorems

    Pages:
    111-116
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Jacek HAWRANEK and Jan ZYGMUNT

    Title:
    Some elementary properties of conditionally distributive lattices

    Pages:
    117-121
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Jacek HAWRANEK

    Title:
    A characterization of prime theories in Johansson's minimal logic

    Pages:
    122-125
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Jacek K.KABZINSKI

    Title:
    BCI-algebras from the point of view of logic

    Pages:
    126-129
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Jacek K.KABZINSKI

    Title:
    Quasivarieties for BCK-logic

    Pages:
    130-133
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Marek PALASINSKI

    Title:
    Varieties of commutative BCK-algebras not generated by their finite members

    Pages:
    134-135
    File:
    bibtex
    Abstract ( + )