zbMATH — the first resource for mathematics

Arithmetic as a theory modulo. (English) Zbl 1078.03046
Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 423-437 (2005).
Summary: We present constructive arithmetic in deduction modulo with rewrite rules only.
For the entire collection see [Zbl 1070.68002].

03F30 First-order arithmetic and fragments
03F05 Cut-elimination and normal-form theorems
68Q42 Grammars and rewriting systems
PDF BibTeX Cite
Full Text: DOI