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


  1. Authors:
    Janusz CZELAKOWSKI

    Title:
    ω-saturated matrices

    Pages:
    120-123
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Hajnal ANDREKA, Istvan NEMETI and Ildiko SAIN

    Title:
    Program verification within and without logic

    Pages:
    124-129
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Roman SUSZKO and Tamara WEINFELD

    Title:
    Filters and natural extensions of closure systems

    Pages:
    130-132
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ayda I.ARRUDA and Elias H.ALVES

    Title:
    Some remarks on the logic of vagueness

    Pages:
    133-138
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Ayda I.ARRUDA and Elias H.ALVES

    Title:
    A semantical study of some systems of vagueness logic

    Pages:
    139-144
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Hajnal ANDREKA and Istvan NEMETI

    Title:
    Not all representable cylindric algebras are neat reducts

    Pages:
    145-147
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Laszlo CSIRMAZ

    Title:
    On definability in Peano arithmetic

    Pages:
    148-153
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    M.J.CRESSWELL

    Title:
    B Seg has the finite model property

    Pages:
    154-160
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Jacek K.KABZINSKI, Malgorzata POREBSKA and Andrzej WRONSKI

    Title:
    On {<->,~}-reduct of the intuitionistic consequence operation

    Pages:
    161-169
    File:
    bibtex
    Abstract ( + )