epsilon substitution
Recently Published Documents

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

Ideas in the epsilon substitution method for Π10-FIX

Annals of Pure and Applied Logic ◽

10.1016/j.apal.2005.05.004 ◽

2005 ◽

Vol 136 (1-2) ◽

pp. 3-21 ◽

Cited By ~ 3

Author(s):

Toshiyasu Arai

Keyword(s):

Substitution Method ◽

Epsilon Substitution

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 ◽

Cited By ~ 2

Author(s):

T. Arai

Keyword(s):

Substitution Method ◽

Epsilon Substitution

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 ◽

Cited By ~ 3

Author(s):

Henry Towsner

Keyword(s):

Transfinite Induction ◽

Epsilon Substitution

Download Full-text

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 ◽

Cited By ~ 2

Author(s):

G. Mints

Keyword(s):

Termination Proof ◽

Epsilon Substitution

Download Full-text

epsilon substitutionRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

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

Non-deterministic Epsilon Substitution Method for PA and ID 1

Epsilon substitution for first- and second-order predicate logic

Non-Deterministic Epsilon Substitution for ID1: Effective Proof

Epsilon Substitution for Predicate Logic

Epsilon substitution method for -FIX

Ideas in the epsilon substitution method for Π10-FIX

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

Epsilon substitution for transfinite induction

A termination proof for epsilon substitution using partial derivations

epsilon substitution
Recently Published Documents