【摘 要】
:
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件,而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数;3)进一步讨论了正交模格值successor和source算子及子机
论文部分内容阅读
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件,而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数;3)进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系;4)给出了一个例子,从而说明了以前所得到的一些否定性结果在一些典型的正交模格
其他文献
什么是哲学?理性关系建筑学从我们思想的当下现实出发回答了这个问题。首先,哲学与智慧的区分让哲学史呈现为在自身做划时代区分的历史,诸时代的第一哲学从不同智慧形态那里
在儒家学说上升为在社会中占统治地位的意识形态之后,基于生产上的原创性、涵盖面的广阔性以及思考的深邃性,《论语》和《礼记》成为中华民族元典的代表,蕴涵着丰厚的人文精
社会主义市场经济不仅着眼于财富的创造,而且着眼于人的本质力量的解放,即自由自觉的创造,这是今日中国创新型国家建设的特点所在。而只有依据新的历史条件和时代特点,实现价
《春秋》激励人们勇于担当、奋发有为,通过拨乱反正而达到尊王攘夷.《榖梁》继承了《春秋》的基本精神并将其发扬光大.文章建构榖梁春秋哲学,并认为它对社会的失范(脱序)作出
作为经济伦理的重要范畴,机会平等问题一直格外受到经济学和伦理学研究者的关注。不同的学者基于自身对于机会和公平的独特理解,提出了各种机会平等理论及其操作原则、方式,
民族伦理所呈现的地方性知识谱系是一个蕴涵多元参照点的开放结构,它为伦理精神的翻耕与重建予以资源储备上的贡献。翻耕是对民族伦理资源的深挖与对百家伦理见解的吞吐;而重
[编译者按]:意义理论是语言哲学的核心内容.意义理论与语言相关,因而与对语言的使用和理解相关,与语言所表达的世界相关.今天,意义理论受到哲学家们的高度重视,有关讨论广泛
德语学界哲学经典解释传统源远流长,从历史上看有三条线索可寻:一即批判哲学至古典唯心论一系,二为施莱尔马赫、小施莱格尔的浪漫派一线,三是自沃尔夫和伯克以来的历史考证语
为了回答为什么要对大自然和遥远的后代负责,汉斯.约纳斯在其责任伦理学中进行了目的论和价值论论证,指出价值源于目的,负责任的根本原因在于大自然具有目的。他从三个角度对
社会主义和谐社会思想,从伦理学的角度看,至少有三个方面的深刻含义:公平正义是社会主义和谐社会的首要价值标准,而公平正义的实现是以民主法治为前提的;诚信友爱是社会主义