【摘 要】
：
2011年至2012年，美国逻辑学家Daniel Osherson和Scott Weinstein以理由为基础，着重研究了理由与主体的偏好选择之间的关系，并将这一思想形式化，构造了一种基于理由的偏好命题
论文部分内容阅读
2011年至2012年，美国逻辑学家Daniel Osherson和Scott Weinstein以理由为基础，着重研究了理由与主体的偏好选择之间的关系，并将这一思想形式化，构造了一种基于理由的偏好命题逻辑系统(笔者将其记为±↓)；他们还将量词引入基于理由的偏好命题逻辑，给出了量化偏好逻辑的形式语言和语义解释。本文首先介绍他们的工作；其次证明±↓的可靠性、一致性和完全性以及相应的Lindenbaum定理；第三，在±↓的基础上，构造一种量化的理由偏好逻辑系统(笔者将其记为°↓)并证明其可靠性。
其他文献
近年来,超疏水材料因其所取得的一系列成就和广阔的应用前景受到人们的广泛关注。其制备方法包括化学气相沉积法、模板法、电化学法、自组装、等离子体刻蚀、溶胶-凝胶法等等
MEL型沸石分子筛膜拥有优良的孔道结构、较高的硅铝比、良好的热稳定性和选择吸附性，将其应用于渗透汽化分离混合溶液，具有高效、环保、节能等优势。本文制备了全硅及杂原子掺
本文建立了广义有理数基本理论，并用该理论得到了如下结论：(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
苏云金芽胞杆菌是一种能产生芽胞的土壤细菌，它在稳定期形成芽胞以及大量的伴胞晶体形式的杀虫晶体蛋白。晶体蛋白代谢调控机制是苏云金芽胞杆菌研究的热点之一，目前芽胞形成机