scientific article; zbMATH DE number 1301495

Authors

Publication date 16 June 1999

Kyoto (Japan)Ordinal numbers Proceedings Proof theory RIMS Symposium

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03)

Review text

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.\}.

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246766)