Results 61 to 68 of about 86 (68)

Fragments of Heyting Arithmetic

The Bulletin of Symbolic Logic, 2002
Lev Beklemishev, Wolfgang Burr
openaire   +1 more source

An arithmetic for polynomial-time computation

Theoretical Computer Science, 2006
Helmut Schwichtenberg
exaly  

Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic, vol. 65 (2000), pp. 1223–1240.

Bulletin of Symbolic Logic, 2002
openaire   +1 more source

Kripke models of certain subtheories of Heyting Arithmetic

2017
openaire   +1 more source

Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V)$$ in T

1973
openaire   +1 more source

Algorithmic Equality in Heyting Arithmetic Modulo

exaly