Categorical Description of Dynamic Fuzzy Logic Programming Language

Abstract

First, this paper gives the relative basic theory of dynamic fuzzy logic, and introduces the basic data types of dynamic fuzzy logic. Then we introduce the basic data types of dynamic fuzzy logic and the abstract syntax of dynamic fuzzy logic programming language. At last, this paper gives the categorical description of dynamic fuzzy logic programming language according to categorical theory, and some examples are also given to demonstrate the theory put forward in the paper. The achievement of this paper will lay the foundation for the further development of dynamic fuzzy logic programming language.