7 search results - page 1 / 2 » Herbrand Consistency of Some Arithmetical Theories |
67
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
G
91
Voted
JSYML
2006
15 years 12 days ago
2006
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
94
Voted
PLILP
1998
Springer
15 years 4 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
105
Voted
NDJFL
2000
15 years 6 days ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
102
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...