Bulletin of the Section of Logic 33/1 (2004)


  1. Authors:
    George TOURLAKIS and Francisco KIBEDI

    Title:
    A Modal Extension of First Order Classical Logic, Part II

    Pages:
    1-10
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Katsumi SASAKI and Shigeo OHAMA

    Title:
    A Sequent System of the Logic R- for Rosser Sentences

    Pages:
    11-21
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Alexej P. PYNKO

    Title:
    Sequential Calculi for Many-valued Logics with Equality Determinant

    Pages:
    23-32
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    F.A.DORIA and N.C.A.da COSTA

    Title:
    On Set Theory as a Foundation for Computer Science

    Pages:
    33-40
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Szymon FRANKOWSKI

    Title:
    Formalization of a Plausible Inference

    Pages:
    41-52
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Andrei KOUZNETSOV

    Title:
    Deduction Chains and DC-like Decision Procedure for Guarded Logic

    Pages:
    53-65
    File:
    bibtex
    Abstract ( + )