【摘 要】
：
不同的多值逻辑系统对应着不同的逻辑代数系统，早在1958年，著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入了MV-代数的理论并成功地证明了Lukasiewicz
论文部分内容阅读
不同的多值逻辑系统对应着不同的逻辑代数系统，早在1958年，著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入了MV-代数的理论并成功地证明了Lukasiewicz系统的完备性。近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果。这些研究成果既促进了多值逻辑的发展，又丰富了代数学的内容。
本文提出的余剩余格理论为我们研究多值逻辑提供了又一有力的工具，并为研究各种逻辑代数之间的联系奠定了新的基础。
其他文献
自从WWW 1991年诞生以来，已经发展成为拥有近亿用户和约400万站点，8亿页面的巨大分布式信息空间，而且其信息容量仍在以指数形式飞速增长。面对如此众多的Web服务器与其上面丰富
本文包含四部分. 第一部分是引言，在这一部分中，我们主要介绍了小波分析的起源，发展和应用，另外介绍了本文的写作背景以及这篇文章的主要内容. 在第一章中，我们首先介绍了框
随着资本市场的规范发展,其在我国国民经济中的地位和作用越来越重要。上市公司作为资本市场的基石,其规范运作和质量是我国资本市场健康、稳定发展的基础。近年来,对企业特
理论是实践的指南,观念是行动的先导。政绩观是广大干部思考问题、开展工作的重要导向。正确的政绩观,引导广大干部奋发有为,开拓进取,创造出辉煌的业绩;错误的政绩观,则会
设Sn+pp(c)(p≥1，c＞0)是指标为p的n+p维deSitter空间，Mn为deSitter空间Sn+pp(c)中的类空子流形。本文有两部分内容。 第一部分研究deSitter空间Sn+pp(c)中类空子流形的几何性
本文主要研究Banach空间的等距逼近及渐近等距翻版问题。我们将本文分为两章。 在第一章中，我们讨论了Banach空间的等距逼近问题.当T为Banach空间E到F的ε-等距算子，若存在E
随着教育经济的发展,人们越来越重视教育的投入,目前,城市教育各方面都得到了改善.但是,农村教育还是存在着种种问题,尤其是英语教育.我国农村英语教育的现状主要包括两方面,
M.Gromov在其开创性文章“充填黎曼流形”中，证明了大量有趣的结果，并引入了许多新的几何不变量，其中两个重要的概念是充填半径和充填体积。充填半径是许多重要工作的一个基本要
“儿童是祖国的花朵,更是世界的未来.”在新课标下,注重学生个性化发展,注重学生能力的培养.因此,在小学数学教学中,教师应注重以学生为本,创新教学,给儿童打造一个开放、自
《数学课程标准》指出:“有效的数学学习活动,不能单纯地依赖模仿和记忆,动手实践,自主探索与合作交流是学生学习数学的重要方法。”动手实践活动与小学生的数学学习关系很密