Bulletin of the Section of Logic 13/1 (1984)details

Table of contents

  • 1. Krzysztof RUDNIK, A generalization of the interpolation theorem for the many sorted calculus

  • 2. Marek PALASINSKI, On BCK-algebras with the operation (S)

  • 3. Boguslaw WOLNIEWICZ, An algebra of subsets for join-semilattices with unit

  • 4. Kazimiera DYRDA, On simple algebras in Esn

  • 5. Wojciech BUSZKOWSKI, A note on Lambek - van Benthem calculus