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


  1. Authors:
    Roma J. ADILLON and Ventura VERDU

    Title:
    On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System

    Pages:
    125-134
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Jacek MALINOWSKI

    Title:
    On Generalizations of Consequence Operation

    Pages:
    135-143
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    George WEAVER and Benjamin GEORGE

    Title:
    Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras

    Pages:
    145-157
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Resolution Based Natural Deduction

    Pages:
    159-170
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Eunsuk YANG

    Title:
    T-R, TE-R, TEc-R

    Pages:
    171-181
    File:
    bibtex
    Abstract ( + )