论文部分内容阅读
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了：若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ（φ）就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。
模态逻辑公式的真度理论
【摘 要】
：
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了：若模态公
【机 构】
：
宝鸡文理学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2013年3期
【基金项目】
：
国家自然科学基金（No.11001158）, 宝鸡文理学院重点科研项目（No.ZK1047）
其他文献
组播密钥管理是组播安全的核心问题。通过组成员的隶属关系建立成员的等级树结构，结构中利用单向函数链生成层间密钥来维护上下层访问权限，并将最下层子组内成员密钥构成逻辑密
目的：探讨急诊严重外伤的发生规律、临床特点及护理对策。方法：将急诊严重外伤3190例,按年龄、外伤类型、外伤死亡原因、护理策略等进行回顾性分析。结果：（1）年龄分布：年龄≤39岁13
利用数字签名将口令与节点身份绑定，防止了恶意节点假冒合法节点的攻击，以及内部节点的抵赖行为的发生。该方案采用前向哈希链的思想进行口令更新，减轻了节点的计算开销和存储开
江泽民总书记在党的十五大报告中明确指出：“新闻宣传要坚持党性原则、坚持实事求是，把握正确的舆论导向”，导向，不仅涉及新闻作品的品质和内涵，而且涉及整体新闻宣传策划和报道实
通过对区域物流网络中边、点上费用、容量、流量等的分析，结合实际问题中对道路扩建和物流设施容量设计决策的需要，构建基于物流时间需求的区域物流网络设计数学模型。模型以最
生活的发展,带来词汇的变化。汉语动词系统增加了一大批新成员。过去的语法书说＂动宾结构＂不能作它动词,不能带外宾语。该文列举了124条例句,说明动宾结构充当它动词,是一种值
DSmT在组合结果中保留了冲突焦元,一方面提高了组合冲突证据能力,另一方面造成了冲突信息的积累,促使分配给主焦元的信度不合理地减小,导致组合信息的不确定性增加,不利于决
随着我国高等教育体制改革不断深入,高等教育渐渐从精英型高等教育向大众性高等教育转变。这一转变为新建本科院校的发展带来挑战的同时,也提供了很好的机遇。新建本科院校都
在充分考察、调研我国北方海洋环境下水工建筑物服役现状的基础上,结合北方沿海地区的气候特点,采用实验研究、理论分析和工程应用相结合的方法,分别采用若干水泥、矿渣微粉
为提高自适应小波阈值降噪方法的效果，提出一种结合最大能量匹配的小波包分解和快速样本熵的小波阈值降噪方法。根据各层小波系数特点并以最大能量匹配准则自适应选择小波包基