epsilon substitution
Recently Published Documents

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2017 ◽  
Vol 57 (5-6) ◽  
pp. 497-531
Author(s):  
Henry Towsner
Keyword(s):  
Cut Elimination ◽  
Epsilon Substitution

Non-deterministic Epsilon Substitution Method for PA and ID 1

2015 ◽  
pp. 479-500 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution

scholarly journals Epsilon substitution for first- and second-order predicate logic

2013 ◽  
Vol 164 (6) ◽  
pp. 733-739 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Predicate Logic ◽  
Second Order ◽  
Epsilon Substitution

scholarly journals Epsilon Substitution for Predicate Logic

2011 ◽  
Vol 47 ◽  
pp. 3-5 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Predicate Logic ◽  
Epsilon Substitution

Epsilon substitution method for -FIX

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].

scholarly journals Ideas in the epsilon substitution method for Π10-FIX

2005 ◽  
Vol 136 (1-2) ◽  
pp. 3-21 ◽  
Author(s):  
Toshiyasu Arai
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution

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

2005 ◽  
Vol 44 (8) ◽  
pp. 1009-1043 ◽  
Author(s):  
T. Arai
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution

scholarly journals Epsilon substitution for transfinite induction

2004 ◽  
Vol 44 (4) ◽  
pp. 397-412 ◽  
Author(s):  
Henry Towsner
Keyword(s):  
Transfinite Induction ◽  
Epsilon Substitution

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

2003 ◽  
Vol 121 (2-3) ◽  
pp. 163-208 ◽  
Author(s):  
Toshiyasu Arai
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document