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


Table of contents




  • 1. Norihiro KAMIDE, A Note on Decision Problems for Implicational Sequent Calculi129

  • 2. Francisco SALTO, Jose M. MENDEZ and Gemma ROBLES, Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property139

  • 3. Takahiro SEKI, Some Remarks on Maehara's Method147

  • 4. Gabor SAGI, Non-Computability of the Equational Theory of Polyadic Algebras155

  • 5. Larry WOS and Ruediger THIELE, Hilbert's New Problem165