动态多值逻辑函数的时态分解

THE TENSE-DECOMPOSE OF THE DYNAMIC MULTI-VALUED LOGIC FUNCTION

本文就作者（１９９５）建立的动态多值逻辑函数的范式提出了Ｈ（ｔ，Ｘ）函数的时态分解结构．从而将其定义４的条件１°具体地表达了出来，并得到Ｈ（ｔ，Ｘ）的时态分解式．完全确定了已知函数Ｈ（ｔ．ｘ）在任一时刻ｔ的具体表达式，为深入研究动态多值逻辑函数作了准备．

In this work, we show the tense-decompose construction of a DMLF H(t,X) (H(t,X) ∈.and represent speifiedy the condition 1°in the definition 4 introduced by us in 1995. And we obtain the tense decompose formula of a DMLF. In this way, we already have been good ready for researching DMLF further anddeeply, becouse every Specific expression of known DMLF is determined in arbitrary time t throngly.