paper

Arithmetic as a theory modulo

arXiv:2310.10326

Abstract

We present constructive arithmetic in Deduction modulo with rewrite rules only.

Arithmetic as a theory modulo · wovepaper