R_0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统———R0 代数 ,给出了R0 代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系 ,讨论了R0 代数公理系统的简化问题 ,得到R0 代数的两个特征定理 ,并证明了这两个特征定理中条件的独立性 ,由此得到R0 代数两个独立的公理系统 .研究结果表明 ,R0 代数类和弱R0 代数类都构成代数簇 ,即等式代数类 .因而这两个代数类关于子代数。

一种新的模糊逻辑代数系统

基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统之间的关系。

2′-(2-吡啶甲酰胺基)-苯甲酸苯酯的合成、表征及晶体结构

2-吡啶甲酸和邻氨基苯甲酸在亚磷酸三苯酯作用下合成了新型的标题化合物。产物经IR、UV、MS、元素分析、X-射线单晶衍射对其进行了表征。标题化合物的晶体由于C-H…O氢键弱相互作用的存在而稳定，继而形成沿a轴方向的R2^10二聚体。

A unified approximate reasoning theory suitable for both propositional calculus system L and predicate calculus system K

The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.