格值时态命题逻辑LTP(X)的语义问题
Semantics of Lattice-Valued Tense Propositional Logic System
-
摘要: 在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和 G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X).讨论了LTP(X)与时间相关的一系列 性质及时态词的重叠问题.证明了MP语义规则和HS语义规则在该系统中成立.Abstract: Tense operatorsE(ever)andF(will)as well as their dual operatorsH(ever always be) andG (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.
点击查看大图
计量
- 文章访问数: 1262
- HTML全文浏览量: 122
- PDF下载量: 154
- 被引次数: 0