Bulletin of the Section of Logic 12/2 (1983)details


Table of contents




  • 1. Piotr S.KRZYSTEK, Commutative BCK-algebras do not enjoy the interpolation property50

  • 2. Kazimiera DYRDA, Some remarks on WMV-algebras55

  • 3. Ildiko SAIN, Total correctness in nonstandard dynamic logic64

  • 4. Tadeusz PRUCNAL, Topological representation of atomic co-diagonalizable algebras71

  • 5. Dolph ULRICH, Models of three-valued calculi in inplicational S573

  • 6. Pawel M.IDZIAK, A finite base for the consequence operation76