11 search results - page 3 / 3 » Cut-Elimination and Proof Search for Bi-Intuitionistic Tense... |
RTA
2005
Springer
13 years 10 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...