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

• 作者: 徐扬 李文江
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 格蕴涵代数 时态赋值 命题逻辑 格值逻辑
• 年，卷（期）: 2004,（5）
• 页码范围: 691-695
• 页数: 5页
• 分类号: O159
• 字数: 3639字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2004.05.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学应用数学系	186	1462	15.0	32.0
2	李文江	西南交通大学电气工程学院	2	84	1.0	2.0