关于MV-代数的逻辑性质

来源 :河南科学 | 被引量 : 0次 | 上传用户：youjiaxiaogege

【摘要】

：

MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察MV-代数的模型论性质.在本文中,我们研究了MV

【作者】

：

梁俊奇赵玲

【机构】

：

商丘师范学院数学系,商丘市第一高中

【出处】

：

河南科学

【发表日期】

：

2004年6期

【关键词】

：

完备性定理模型论同态代数理论性质代数证明逻辑性形式化 MV-algebra complete model complete

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察MV-代数的模型论性质.在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备.

其他文献

郑州地区石料加工企业污染当量测算研究

研究了石料加工企业生产过程中产生的颗粒物及其排放量与企业规模、生产工艺、气象条件等的关系. 参照相关模式经验公式,计算出了不同规模石料加工企业颗粒物排放量及平均排

期刊

石料加工企业污染当量过尘断面面积processing enterprise of building stonespollution equivalent

基于投入产出法的我国房地产业特征研究

运用投入产出法分析我国房地产业的投入、分配结构及波及效果,揭示我国房地产业的特征及其在发展中存在的问题。

期刊

房地产业投入产出产业特征

论县城在农村城镇化中的主渠道作用

城镇化包括农业人口转变为城镇人口和农村地区转变为城镇地区两个过程. 我国农村城镇化既要尊重世界城镇化的一般规律,又要符合我国国情. 我国农业剩余劳动力的空间转移应以

期刊

城镇化县城主渠道urbanization county towns main channel

只有快乐生活的人才能给别人带来快乐——《非诚勿扰》投资人、华谊兄弟传媒股份有限公司董事长王中军访谈

影视娱乐业是一个"制造"快乐并能给人带来快乐的行业,作为影视娱乐业大亨的王中军是否是一个懂得快乐生活并能给人带来快乐的人呢?他对危机下的中国影视娱乐业有何独到见解?

期刊

王中军华谊兄弟传媒股份中国影视中国商界大前研一我自己管理学大师天下无贼葛优

计算机机房综合管理系统设计研究

文章基于计算机机房管理现状与目标,利用C/S架构下PBuilder开发工具进行面向教师、学生以及管理员的计算机机房综合管理系统,以期提高机房的使用与管理效率。

期刊

机房综合管理系统C/SPBuilder

平顶山市空气污染预报研究

用污染潜势指数和污染浓度指数等方法结合平顶山市天气气候特点及污染源分布状况,建立了适宜24小时的空气污染浓度指数预报. 为平顶山市空气污染预报提供了一种很好的方法.

期刊

潜势指数污染浓度空气污染预报potential trend indexpollution dencityair pollutionforecast

异构环境下的iSCSI协议分析与实现

iSCSI协议可以有效解决SAN中数据在IP网络上的传输和共享问题,在对iSCSI协议进行了详细的分析的基础上,给出了在异构环境下利用该协议实现异地数据访问的实现方法.

期刊

ISCSI网络存储存储区域网iSCSI Network storage SAN

黑曲霉木聚糖酶性质的研究

利用分光光度计对黑曲霉木聚糖酶的性质进行了研究,结果表明在pH 5.0-7.0范围内保持60%以上的酶活,pH值稳定范围较广;木聚糖酶耐热性较强,在60℃仍有一定的活性;K+和Cu2+对木

期刊

黑曲霉木聚糖酶酶活aspergillus niger xylanase activity

应变模态在检测桥梁钢筋损伤中的性能研究

在用大型有限元分析软件ANSYS建立钢筋混凝土单跨简支梁实体模型的基础上,通过对混凝土中的钢筋在单一位置,不同位置相同损伤程度,不同位置不同损伤程度的多种损伤工况下,进

期刊

应变模态损伤桥梁钢筋敏感性strain modal damage bridge steel bar sensibility

基于环境因素的区域最优经济增长路径研究

当前区域经济中存在很多经济发展与环境保护不协调的现象,以牺牲环境来换取短暂的经济高速发展的思想仍然存在. 那么,是否存在兼顾区域经济与环境协调发展的最优经济增长路径

期刊

环境区域经济增长最优路径environmentregional economic growththe best path

关于MV-代数的逻辑性质

与本文相关的学术论文