Bulletin of the Section of Logic 31/4 (2002)


  1. Authors:
    Michael SOLTYS

    Title:
    Extended Frege and Gaussian Elimination

    Pages:
    189-205
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Vladimir V.RYBAKOV

    Title:
    Unification in Common Knowledge Logics

    Pages:
    207-215
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    George WEAVER and Edward THOMPSON

    Title:
    Hermes Algebras

    Pages:
    217-229
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Christian J. RENTERIA and Edward Hermann HAEUSLER

    Title:
    A Natural Deduction System for CTL

    Pages:
    231-240
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    S.P. ODINTSOV

    Title:
    On the embedding of Nelson's logics

    Pages:
    241-248
    File:
    bibtex
    Abstract ( + )