Arithmetic as a theory modulo

Lecture Notes in Computer Science

Volumn 3467, Issue , 2005, Pages 423-437

  Dowek, Gilles ^a   Werner, Benjamin ^b  

^a CNRS   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INFORMATION THEORY; TECHNICAL WRITING;

CONSTRUCTIVE ARITHMETIC; DEDUCTION MODULO; REWRITE RULES;

DIGITAL ARITHMETIC;

EID: 24944522542     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32033-3_31     Document Type: Conference Paper

References (14)

1. M. Crabbé. Non-normalisation de la théorie de Zermelo. Manuscript (1974).
2. G. Dowek, Th. Hardin, and C. Kirchner. Theorem proving modulo. Journal of Automated Reasoning, 31 (2003) pp. 33-72.
3. G. Dowek and B. Werner. Proof normalization modulo, The Journal of Symbolic Logic, 68, 4 (2003) pp. 1289-1316.
4. G. Dowek and B. Werner. Arithmetic as a theory modulo. Manuscript (2004).
5. G. Dowek and B. Werner. A constructive proof of Skolem theorem for constructive logic, Manuscript (2004).
6. G. Dowek. La part du Calcul. Habilitation thesis, Université de Paris 7 (1999).
7. J.Y. Girard. Interprétation fonctionnelle et élimination des coupures dans l'arithmétique d'ordre supérieur, Thèse d'État, Université de Paris 7 (1972).
8. J.Y. Girard, Y. Lafont and P. Taylor. Proofs and Types, Cambridge University Press (1989).
9. K. Gödel. Über eine bisher noch nicht benüzte Erweiterung des finiten Standpunktes, Dialectica, 12 (1958) pp. 280-287.
10. Reproduced in S. Feferman et al. (eds.), Collected Works, vol. II, Oxford University Press (1990) pp. 241-251.
11. J.-W. Klop, V. van Oostrom and F. van Raamsdonk. Combinatory reduction systems: introduction and survey. Theoretical Computer Science, 121, (1993) pp. 279-308.
12. M. Parigot. Programming with proofs: A second order type theory. European Symposium on Programming, H. Ganzinger (ed.), Lecture Notes in Computer Science, 300, (1988) pp. 145-159.
13. D. Prawitz, Natural deduction. A proof-theoretical study. Almqvist & Wiksell (1965).
14. H. Rasiowa and R. Sikorski, The mathematics of metamathematics, Polish Scientific Publishers (1963).