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


Table of contents




  • 1. Zdzislaw DYWAN and Teodor STEPIEN, Every two-valuated propositional calculus has the interpolation property152

  • 2. Zdzislaw DYWAN, Quasi-strongly finite sentential calculi154

  • 3. Martin W.BUNDER, A note on quantified significance logic159

  • 4. Marek PALASINSKI, An example of the commutative BCK-algebra163

  • 5. Marek PALASINSKI and Barbara WOZNIAKOWSKA, Finitely generated ideals in directed commutative BCK-algebras166

  • 6. Piotr S.KRZYSTEK, Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics170

  • 7. Andrzej WRONSKI, On reducts of intermediate logics176

  • 8. Jacek K.KABZINSKI, Towards the source of the notion of implication180

  • 9. Jacek K.KABZINSKI, What is the equivalence connective184

  • 10. Michael A.McROBBIE, Paul B.THISTLEWAITE and Robert K.MEYER, A mechanized decision procedure for non-classical logics: The program KRIPKE189

  • 11. Hajnal ANDREKA, Peter BURMEISTER and Istvan NEMETI, Quasi equational logic of partial algebras193