论文部分内容阅读
引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理，最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统中重言式之间的关系。
Lukasiewicz多值逻辑系统中的广义重言式理论
【摘 要】
：
引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理，最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统
【机 构】
：
上海财经大学基础部,西安交通大学理学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2000年1期
其他文献
讨论了基于PC机的虚拟钢结构厂房实时漫游系统的特点和要求,探讨了虚拟场景的建模和渲染技术.给出了软件系统的实现方法,利用OpenGL技术完成了一个钢结构厂房的实用系统.
对武汉天兴洲公铁两用长江大桥公路引线工程主线桥跨和平大道施工安全防护进行了分析,在该工程施工中通过防护膺架、交通安全措施等工程措施,实现了跨和平大道主线桥的安全施
介绍了SCND理论研究进展，对影响亚硝酸积累的温度、pH、分子态游离氨、DO、泥龄等因素进行了分析，阐述了近年来国内外主要的SCND理论研究成果，并得出了相关结论，以期促进短程硝化
以湘桂铁路扩能改造工程Ⅲ标永州湘江1号特大桥，主桥主墩4号、5号墩基础沉井施工为例，介绍一种水下钻孔爆破法炸礁和就地下沉沉井施工的方法，从而使施工对水域航道的影响降到最
以国内外对风貌建筑保护区与城市意象元素的相关研究为依据，从城市意象元素方面对风貌建筑保护区改造更新做了一些探索，指出风貌建筑保护区是人类历史文化的载体，对风貌建筑保护
建设社会主义和谐社会对政府行为模式提出了一系列新的课题和挑战，其中转变政府观念，建立科学的、适应当前社会发展现实的政府绩效评估体系成为关键。本文立足当前现实，以构建和