Bulletin of the Section of Logic 8/3 (1979)details

Table of contents

  • 1. Janusz CZELAKOWSKI, ω-saturated matrices120

  • 2. Hajnal ANDREKA, Istvan NEMETI and Ildiko SAIN, Program verification within and without logic124

  • 3. Roman SUSZKO and Tamara WEINFELD, Filters and natural extensions of closure systems130

  • 4. Ayda I.ARRUDA and Elias H.ALVES, Some remarks on the logic of vagueness133

  • 5. Ayda I.ARRUDA and Elias H.ALVES, A semantical study of some systems of vagueness logic139

  • 6. Hajnal ANDREKA and Istvan NEMETI, Not all representable cylindric algebras are neat reducts145

  • 7. Laszlo CSIRMAZ, On definability in Peano arithmetic148

  • 8. M.J.CRESSWELL, B Seg has the finite model property154

  • 9. Jacek K.KABZINSKI, Malgorzata POREBSKA and Andrzej WRONSKI, On {<->,~}-reduct of the intuitionistic consequence operation161