Bulletin of the Section of Logic 9/3 (1980)details

Table of contents

  • 1. Jan BERNERT, The strongly adequate matrices of the form of product of Lindenbaum's matrices102

  • 2. Janusz CZELAKOWSKI, Equivalential logics (II)108

  • 3. Boguslaw WOLNIEWICZ, On the lattice of elementary situations115

  • 4. Jacek HAWRANEK, A matrix adequate for S5 with MP and RN122

  • 5. Janusz CZELAKOWSKI, A remark on free products125

  • 6. Laszlo CSIRMAZ, Remarks on Floyd-Hoare derivability131

  • 7. Wieslaw DZIOBIAK, The degrees of maximality of the intuitionistic propositional logic and of some of its fragments136

  • 8. Malgorzata BIELECKA-HOLDA, Independent basis for the consequence determined by non-degenerated distributive lattices141

  • 9. Marek PALASINSKI, On ideals in directed commutative BCK-algebra145