Temporal logic is a special modal logic. It is a powerful tool of the procedural semantic description, and it also shows many advantages in the respect of knowledge's formal expression. But which is regretful for us is that the study of temporal logic is limited to classical temporal logic. So it is also a significent issue that temporal logic is fuzzed into fuzzy temporal logic. In this paper,a fuzzy temporal logical system FMPTL is upbuilt and researched by extending the universal algebra and by defining three modal operators â–¡,â—‡and> .Firstly,by adding countably elemt operation,the universal algebra is extended into the generalized universal algebra; Secondly, some problems of FMPTL are discussed,including the definition of the semantic and the generalized tautology of the FMPTL and classification of the generalized tautology of the FMPTL,The result which are similar to professor Wang's is got, and those model formulas which haven't reality significance aren't considered in this paper in order to simplying our research; At last,generalized semantic MP rule and generalized semantic HS rule are studied in the system of FMPTL. This indicates: Wang Guo-jun's theory of generalized tautology can be generalized into the system of FMPTL. So we can draw a conclusion that the system of FMPTL is rational on semantics.
|