A termination proof for epsilon substitution using partial derivations

Theoretical Computer Science ◽

10.1016/s0304-3975(02)00451-6 ◽

2003 ◽

Vol 303 (1) ◽

pp. 187-213 ◽

Author(s):

G. Mints

Keyword(s):

Termination Proof ◽

Epsilon Substitution

Download Full-text

Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof

Logic Journal of IGPL ◽

10.1093/jigpal/11.3.367 ◽

2003 ◽

Vol 11 (3) ◽

pp. 367-377 ◽

Author(s):

S. Tupailo

Keyword(s):

Substitution Method ◽

Termination Proof ◽

Epsilon Substitution

Download Full-text

Epsilon substitution method for -FIX

Journal of Symbolic Logic ◽

10.2178/jsl/1164060450 ◽

2006 ◽

Vol 71 (4) ◽

pp. 1155-1188 ◽

Author(s):

Toshiyasu Arai

Keyword(s):

Substitution Method ◽

Inductive Definitions ◽

Termination Proof ◽

Epsilon Substitution

AbstractIn this paper we formulate epsilon substitution method for a theory -FIX for nonmonotonic inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

Download Full-text

Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination

Archive for Mathematical Logic ◽

10.1007/s00153-017-0590-3 ◽

2017 ◽

Vol 57 (5-6) ◽

pp. 497-531

Author(s):

Henry Towsner

Keyword(s):

Cut Elimination ◽

Epsilon Substitution

Download Full-text

Narrowing-based simulation of term rewriting systems with extra variables and its Termination Proof

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80693-5 ◽

2003 ◽

Vol 86 (3) ◽

pp. 52-69 ◽

Author(s):

Naoki Nishida ◽

Masahiko Sakai ◽

Toshiki Sakabe

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Termination Proof

Download Full-text

Epsilon substitution method for [Π01, Π01]-FIX

Archive for Mathematical Logic ◽

10.1007/s00153-005-0290-2 ◽

2005 ◽

Vol 44 (8) ◽

pp. 1009-1043 ◽

Author(s):

T. Arai

Keyword(s):

Substitution Method ◽

Epsilon Substitution

Download Full-text

Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.

Bulletin of Symbolic Logic ◽

10.2307/421067 ◽

2000 ◽

Vol 6 (3) ◽

pp. 356-357

Author(s):

Ulrich Kohlenbach

Keyword(s):

Mathematical Logic ◽

Substitution Method ◽

Epsilon Substitution ◽

Elementary Analysis

Download Full-text

Epsilon substitution for transfinite induction

Archive for Mathematical Logic ◽

10.1007/s00153-004-0241-3 ◽

2004 ◽

Vol 44 (4) ◽

pp. 397-412 ◽

Author(s):

Henry Towsner

Keyword(s):

Transfinite Induction ◽

Epsilon Substitution

Download Full-text

Epsilon substitution method for elementary analysis

Archive for Mathematical Logic ◽

10.1007/s001530050036 ◽

1996 ◽

Vol 35 (2) ◽

pp. 103-130

Author(s):

Grigori Mints ◽

Sergei Tupailo ◽

Wilfried Buchholz

Keyword(s):

Substitution Method ◽

Epsilon Substitution ◽

Elementary Analysis

Download Full-text

Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014061 ◽

1995 ◽

pp. 312-327 ◽

Author(s):

François Leclerc

Keyword(s):

Term Rewriting ◽

Complete Development ◽

Term Rewriting System ◽

Termination Proof ◽

Rewriting System ◽

Download Full-text

Epsilon substitution method for ID1(Π10∨Σ10)

Annals of Pure and Applied Logic ◽

10.1016/s0168-0072(02)00112-4 ◽

2003 ◽

Vol 121 (2-3) ◽

pp. 163-208 ◽

Author(s):

Toshiyasu Arai

Keyword(s):

Substitution Method ◽

Epsilon Substitution

Download Full-text