Bulletin of the Section of Logic 28/4 (1999)


  1. Authors:
    Paulo A.S.VELOSO

    Title:
    Why ultrafilters for almost all

    Pages:
    183-193
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Francisco SALTO, Gemma ROBLES and Jose M. MENDEZ

    Title:
    Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles

    Pages:
    195-206
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Tomasz POLACIK

    Title:
    Partially-elementary extension Kripke models and Burr's hierarchy

    Pages:
    207-214
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Janusz MACIASZEK

    Title:
    A note on the concept of satisfaction in intuitionistic predicate logic

    Pages:
    215-223
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Luiz Carlos P.D.PEREIRA and Edward Hermann HAEUSLER

    Title:
    An infinitary extension of MALL-

    Pages:
    225-233
    File:
    bibtex
    Abstract ( + )