Arithmetic as a theory modulo
Voice is AI-generated
Connected to paperThis paper is a preprint and has not been certified by peer review
Arithmetic as a theory modulo
Gilles Dowek, Benjamin Werner
AbstractWe present constructive arithmetic in Deduction modulo with rewrite rules only.