Fuzzy type theory; partial function; higher-order fuzzy logic

In this paper we present how the theory of partial functions can be developed in the fuzzy type theory and show how the theory elaborated by Lapierre and Lepage can be included in it. Namely, the latter is developed as a special theory whose models contain the partial functions in the sense introduced by both authors.