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

Table of contents

  • 1. George TOURLAKIS, A basic formal equational predicate logic. Part II75

  • 2. Paulo A.S.VELOSO, On the power of ultrafilter logic89

  • 3. David MILLER, Extremal consequence operations99

  • 4. Teresa BIEGANSKA and Katarzyna HALKOWSKA, Minimal generic of externally compatible varieties107

  • 5. Dale JACQUETTE, An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkuls115

  • 6. Branden FITELSON and Larry WOS, Axiomatic proofs through automated reasoning125