No label defined (Q4246766)

Noriko H. Arai, Bounded arithmetic vs. propositional calculus (1-12); Mariko Yasugi and Masahiro Nakata, An examination of natural reasoning in NDK (Japanese) (13-26); Satoru Kuroda, Counting small sets in weak bounded arithmetic (27-33); Makoto Kikuchi, On Buss and Turan's extensions of Haken's results (34-37); Kazuma Ikeda, Normal forms for derivations in Arai's \(\text{AI}^-_\xi\) (38-54); Misao Nagayama and Mitsuhiro Okada, Characterization theorems for multiplicative fragment of intuitionistic non-commutative linear logic (preliminary report) (55-69); Yuuki Andou, A system of \(\lambda\mu\)-calculus proper to the implicational fragment of classical natural deduction with one conclusion (70-76); Kazuyuki Tanaka, Some systems of second-order arithmetic---an analysis based on model-theoretic methods. III (Japanese) (77-85); Takeshi Yamazaki, The conservativity of \(\Pi^0_\infty\)-BCT (Japanese) (86-96); Toshiyasu Arai, From the attic (97-124); Toshiyasu Arai, Consistency proof via pointwise induction (125-134); Toshiyasu Arai, Introducing the hardline in proof theory (135-145); Mitsuhiro Okada and Kazushige Terui, Semantic characterizations for reachability and trace equivalence in a linear logic-based process calculus (preliminary report) (146-168); Masahiro Hamano and Mitsuhiro Okada, A hierarchy of the fragments of the system of inductive definition (preliminary report) (169-181). \{The articles of this volume will be announced individually in MATH Database.\}.