|
|||||
|
|
| 格值时态命题逻辑LTP(X)的语义问题 | |
| 引用本文： | 李文江,徐扬. 格值时态命题逻辑LTP(X)的语义问题[J]. 西南交通大学学报, 2004, 39(5): 691-695 |
| 作者姓名： | 李文江 徐扬 |
| 作者单位： | 1. 西南交通大学电气工程学院,四川,成都,610031 2. 西南交通大学应用数学系,四川,成都,610031 |
| 基金项目： | 国家自然科学基金资项目(60074014) |
| 摘 要： | 在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。 |
| 关 键 词： | 格蕴涵代数 时态赋值 命题逻辑 格值逻辑 |
| 文章编号： | 0258-2724(2004)05-0691-05 |
Semantics of Lattice-Valued Tense Propositional Logic System |
|
| LI Wen-jiang,XU Yang. Semantics of Lattice-Valued Tense Propositional Logic System[J]. Journal of Southwest Jiaotong University, 2004, 39(5): 691-695 | |
| Authors: | LI Wen-jiang XU Yang |
| Affiliation: | LI Wen-jiang~1,XU Yang~2 |
| Abstract: | 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. |
| Keywords: | lattice implication algebra tense valuation propositional logic lattice-valued logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |