Bulletin of the Section of Logic 29/3 (2000)


  1. Authors:
    George TOURLAKIS

    Title:
    A basic formal equational predicate logic. Part II

    Pages:
    75-87
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Paulo A.S.VELOSO

    Title:
    On the power of ultrafilter logic

    Pages:
    89-97
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    David MILLER

    Title:
    Extremal consequence operations

    Pages:
    99-107
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Teresa BIEGANSKA and Katarzyna HALKOWSKA

    Title:
    Minimal generic of externally compatible varieties

    Pages:
    107-114
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Dale JACQUETTE

    Title:
    An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkuls

    Pages:
    115-124
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Branden FITELSON and Larry WOS

    Title:
    Axiomatic proofs through automated reasoning

    Pages:
    125-136
    File:
    bibtex
    Abstract ( + )