Bulletin of the Section of Logic 30/3 (2001)


  1. Authors:
    Norihiro KAMIDE

    Title:
    A Note on Decision Problems for Implicational Sequent Calculi

    Pages:
    129-138
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Francisco SALTO, Jose M. MENDEZ and Gemma ROBLES

    Title:
    Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property

    Pages:
    139-146
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Takahiro SEKI

    Title:
    Some Remarks on Maehara's Method

    Pages:
    147-154
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Gabor SAGI

    Title:
    Non-Computability of the Equational Theory of Polyadic Algebras

    Pages:
    155-164
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Larry WOS and Ruediger THIELE

    Title:
    Hilbert's New Problem

    Pages:
    165-175
    File:
    bibtex
    Abstract ( + )