| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662782 | Annals of Pure and Applied Logic | 2008 | 13 Pages |
Abstract
A simple cut elimination proof for arithmetic with the epsilon symbol is used to establish the termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
