Bulletin of the Section of Logic 32/3 (2003)


  1. Authors:
    Tarek Sayed AHMED

    Title:
    A Confirmation of a Conjecture of Tarski

    Pages:
    103-105
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Janis CIRULIS

    Title:
    (H)-Hilbert Algebras are not same as Hertz Algebras

    Pages:
    107-108
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Mladen VUKOVIC

    Title:
    A Note on Semantics of the Interpretability Logic IL(KW1)

    Pages:
    109-115
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Tarek Sayed AHMED

    Title:
    Omitting Types for Finite Variable Fragments of First Order Logic

    Pages:
    117-122
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Norihiro KAMIDE

    Title:
    A Simplified Semantics for a Fragment of Intuitionistic Linear Logic

    Pages:
    123-129
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Larry WOS, Dolph ULRICH and Branden FITELSON

    Title:
    XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

    Pages:
    131-136
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Alexej P. PYNKO

    Title:
    A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC

    Pages:
    137-146
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Piotr LUKOWSKI

    Title:
    Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems

    Pages:
    147-159
    File:
    bibtex
    Abstract ( + )