论文部分内容阅读
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X).讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题.证明了MP语义规则和HS语义规则在该系统中成立.
格值时态命题逻辑LTP（X）的语义问题
【摘 要】
：
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X).讨论了LTP(X)
【机 构】
：
西南交通大学电气工程学院,西南交通大学应用数学系
【出 处】
：
西南交通大学学报
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金
其他文献
介绍了一种基于Internet可与状态监测系统集成的设备管理信息系统.详细阐述了开发该系统所用的网络技术、数据库技术.深入地研究了获取信息所用的网络技术、获取信息的方法.
通过考察6个实验室中,标准溶液和标准样品的试验分析数据,得出闭管法较开管法具有更优的准确度、精密度和氧化能力,其闭管法的最佳氧化浓度(并非检测限)在150～850mg/L;结合水
简要介绍了国外现有的变轨距转向架的运用与发展现状,根据我国国情,提出了一种新型的变轨距转向架方案.文中对总体结构进行了简要说明,并利用数值模拟方法对变轨距转向架的动
在对项目及项目进度计划的含义、作用及存在的问题进行简要综合分析的基础上,运用群决策层次分析(GAHP),分4个层次来确定项目进度计划的评价指标权重,然后再运用模糊综合评价
混凝土结构裂缝形成和发展的过程十分复杂,具有一定的随机性,难于用常规的方法进行建模.应用神经网络较强的函数映射能力和联想、记忆功能,对部分预应力混凝土梁的荷载-裂缝
昆明华亭寺里，有一张专治心病的处方，读来令人目清脑醒。 药有十味：好肚肠一根，慈悲心一片，温柔半两，道理三分，言行要紧，中直一块，孝顺十分，老实一个，阴阳全用，方便不拘多少。 用药方法是
为了促进武汉市低碳经济发展，减少交通出行带来的碳排放压力，核算了武汉市道路交通出行的CO2排放量，并采用低度、中度和强化3种减排情景模式对武汉道路交通出行的碳减排潜力进行
对桂林漓江3个采样点沉积柱状沉积物中主要重金属元素(Cd、Cr、Cu、Zn、Pb、As和Ni)的垂向分布进行了测定。结果表明:7种重金属元素具有相似的垂向变化特征;横向上表现为靠近
在明晰物流基地内涵的基础上,提出了现代物流基地管理信息系统凸显基地产业集聚效应、提升基地物流服务水平、优化物流资源配置和快速响应客户物流需求的四大战略目标,并围绕
基于对变长扩频序列相关特性的分析,研究了采用OVSF扩频序列的多速率异步DS-CDMA系统性能,导出以序列非周期部分相关表示的多址干扰分析结果.数值分析结果表明,干扰用户序列