Arithmetic as a theory modulo
Voices Powered by
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.