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


Table of contents




  • 1. Grzegorz MALINOWSKI, Pseudo-referential matrix semantics for propositional logics90

  • 2. Milan BOZIC and Kosta DOSEN, Axiomatization of intuitionistic double negation99

  • 3. Irena JANICKA-ZUK, Strong amalgamation property of diagonalizable algebras105

  • 4. Janusz CZELAKOWSKI, Algebraic aspects of deduction theorems111

  • 5. Jacek HAWRANEK and Jan ZYGMUNT, Some elementary properties of conditionally distributive lattices117

  • 6. Jacek HAWRANEK, A characterization of prime theories in Johansson's minimal logic122

  • 7. Jacek K.KABZINSKI, BCI-algebras from the point of view of logic126

  • 8. Jacek K.KABZINSKI, Quasivarieties for BCK-logic130

  • 9. Marek PALASINSKI, Varieties of commutative BCK-algebras not generated by their finite members134