论文部分内容阅读
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．
格蕴涵代数与Lukasiewicz逻辑系统
【摘 要】
：
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiew
【机 构】
：
肇庆学院数学系
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
广东省自然科学基金资助项目(021073)
其他文献
建筑工程的巨大成本是建筑工程自身的特点之一，如何有效的控制成本也成为建筑业的热门话题，而作为施工企业在施工阶段的成本控制就成了施工企业能否有效进行成本控制的关键。但
信用卡诈骗罪在法律实践中有着诸多问题及争议。本文通过对如信用卡诈骗罪客观表现形式、单位能否成为犯罪主体、盗窃信用卡并使用的问题、骗领信用卡并使用等问题的分析，提出
为实现经济和环境的协调发展,2000年,日本颁布<推进形成循环型社会基本法>,把建设循环型的可持续发展社会作为日本经济社会的总体发展目标.环境教育对提高日本国民意识、构筑
工程量清单计价模式是我国建设工程造价管理工作与国际接轨的重大改革,同时也给审计工作带来新的风险、提出了新的挑战.当前工程量清单计价模式下审计风险的主要表现形式有两
网络财务是因特网与财务管理信息系统的结合物。网络财务这一新的财务管理方式的出现，给传统的财务管理带来了机遇与挑战。本文探讨了企业如何应对网络财务这种新的财务管理模
针对指挥控制网络在边失效之后,可能导致网络级联失效的问题,建立了级联失效模型。结合指挥控制网络的层级特征,提出一种基于“三角形”结构的指挥控制网络级联失效模型,定义
随着社会分工的发展，专业化的趋势愈演愈烈。近些年来，人力资源外包作为专业化趋势中的一种新型管理模式也逐渐发展起来。人力资源外包可以使企业集中精力发展核心业务，提高企业
21世纪初,＂贺岁片＂开始火爆起来,在短短几年的时间内,贺岁档期成为各商家,各影片争相追逐的大蛋糕.在这其中,冯小刚的电影因为其独特的视角和切入点,加上幽默的台词,成为＂贺岁片