Bulletin of the Section of Logic 5/4 (1976)details


Table of contents




  • 1. Andrzej WRONSKI, Remarks on Hallden completeness of modal and intermediate logics

  • 2. Andrzej WRONSKI, The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras

  • 3. Robert K. MEYER, Relevant arithmetic

  • 4. Robert K. MEYER, Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics

  • 5. Piotr WOJTYLAK, A new proof of structural completeness of Lukasiewicz's logic

  • 6. Piotr WOJTYLAK, On structural completeness of the infinite-valued Lukasiewicz's propositional calculus