Denotational semantics of dynamic fuzzy logic programming language

Abstract

In reference (1), we have given the operational semantics model of dynamic fuzzy logic (DFL) programming language which has an excellent leading meaning to realizers. However, it is hard to see whether the language is well defined. That led us to pay attention to the denotational semantics because it is suitable for testing the validity of the implement of a language. In this paper we research the denotationl semantics of dynamic fuzzy logic programming language, which includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the abstract syntax, the descriptions of semantic objects and the handling functions of semantics.