【摘 要】
：
Classical modal logic is logic of boolean algebras with operators(BAOs)([1] and [2]).It is well-known that the minimal modal logic K is sound and complete w
论文部分内容阅读
Classical modal logic is logic of boolean algebras with operators(BAOs)([1] and [2]).It is well-known that the minimal modal logic K is sound and complete with respect to the class of all BAOs([7]),just like that the classical propositional logic is determined by Boolean algebras,and that intuitionistic logic is determined by Heyting algebras([7]).The model-theoretic semantics for classical modal logic was introduced by Kripke in 1959([9]).
其他文献
本文建立了广义有理数基本理论，并用该理论得到了如下结论：(1)证明了到目前为止人们所采用的实数有序域的完备化方案是不科学的或者说是无意义的，从而从反面说明了我们的实
Regular path queries(RPQ)is a classical navigational query formalism for graph databases to specify constraints on labeled paths.Recently,RPQs have been ext
虫害严重威胁着中国水稻生产,每年因为虫害所造成的产量损失达到了10%。转Bt水稻产生的杀虫蛋白能够有效的杀死鳞翅目的害虫,而且不影响环境、节约成本。因此发展和推广转Bt抗虫基因水稻对我国粮食安全有重要的意义。本研究采用转Bt基因水稻品种MH63(cry1C*)、MH63(cry2A*)、Bt-SY63(cry1C*)、Bt-SY63(cry2A*)为研究对象,用MH63和SY63作为对照,在大田条
基于逻辑的知识表示与推理一直是理论计算机科学中人工智能研究的核心问题之一,大规模以及不完全知识库的快速涌现为知识库共享和不一致性处理提出了新的挑战.Lin和Reite
The conservation success of endangered trees may depend on re-establishing or replacing the mutualisms that were important in their native habitats.In this
自从直觉主义谓词演算HQC建立以来，围绕着它的合理性的讨论是直觉主义最重要的课题之一，然而该问题一直未得到系统的研究。本文从直觉主义逻辑“应该是什么”和HQC“事实上
I will prove that J.Moores L space has a non-Lindelof square.This will improve J.Moores result saying that the square is not hereditarily Lindelof and B.Tsa
苏云金芽胞杆菌是一种能产生芽胞的土壤细菌，它在稳定期形成芽胞以及大量的伴胞晶体形式的杀虫晶体蛋白。晶体蛋白代谢调控机制是苏云金芽胞杆菌研究的热点之一，目前芽胞形成机
2011年至2012年，美国逻辑学家Daniel Osherson和Scott Weinstein以理由为基础，着重研究了理由与主体的偏好选择之间的关系，并将这一思想形式化，构造了一种基于理由的偏好命题
本研究以某炼油企业经过二级处理达标排放的污水为研究对象，对其进行水质分析、现场勘察和技术论证，将前部原有的工艺流程进行改造和优化，使出水水质得到改善，提出回用处理工艺。