Bulletin of the Section of Logic 1/2 (1972)details

Table of contents

  • 1. Roman SUSZKO, Equational logic and theories in sentential languages

  • 2. Wojciech SUCHON, Non-equivalence of certain definitions of infinite Lukasiewicz algebras

  • 3. Marek TOKARZ, Connections between some notions of completeness of structural propositional calculi

  • 4. Andrzej WRONSKI, Remarks on algebraic semantics for modal systems S09, S1 and S2

  • 5. Ewa ZARNECKA-BIALY, The deduction theorems for propositional calculi when inplication and falsum is present