272 search results - page 1 / 55 » On Continuous Normalization |
CSL
2002
Springer
13 years 5 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
CIE
2005
Springer
13 years 11 months ago
2005
Springer
CIE
2006
Springer
13 years 9 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
ANOR
2010
13 years 5 months ago
2010
Abstract The paper provides a condition for differentiability as well as an equivalent criterion for Lipschitz continuity of singular normal distributions. Such distributions are o...
NIL
1991
13 years 9 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.