格值时态命题逻辑LTP(X)的语义问题

Semantics of Lattice-Valued Tense Propositional Logic System

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X).讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题.证明了MP语义规则和HS语义规则在该系统中成立.

Tense operators E (ever) and F (will) as well as their dual operators H (ever always be) and G (will always be) were introduced into lattice-valued propositional logic system LP (X), forming a lattice-valued tense propositional logic system LTP (X). It takes time axis as language circumstances. The properties of LTP (X) related to time and superposition of tense words were discussed. It was proved that semantic modus ponus (MP) and hypothetical syllogism (HS) rules hold in this logic system.