汪宁
- 作品数:7 被引量:24H指数:3
- 供职机构:陕西师范大学更多>>
- 发文基金:国家自然科学基金陕西省自然科学基金更多>>
- 相关领域:理学农业科学历史地理更多>>
- SWBR0-代数及其弱完备性
- 在逻辑代数中,蕴涵算子的性质决定了逻辑代数的基本结构,WBR0-代数是以蕴涵算子和(?)定义于一般集合上的逻辑代数,并且WBR0-代数的无序特征为多种相关逻辑代数的建立和各种逻辑代数之间的关系的研究提供了又一途径.本文基...
- 汪宁
- 关键词:模糊逻辑逻辑代数还原性
- 文献传递
- 明清时期关中地区旱荒关系研究
- 明清时期关中地区灾荒种类繁多,灾荒持续时间长,波及范围广。在所有灾荒事件中,由旱灾直接造成的饥荒不仅数量上最多,而且程度最深,影响最为深远。但旱灾与饥荒之间并非简单的线性相关关系,作为社会问题的大饥荒除了看似由旱灾等自然...
- 汪宁
- 关键词:明清时期
- 文献传递
- SWBR<sub>0</sub>-代数及其弱完备性
- 在逻辑代数中,蕴涵算子的性质决定了逻辑代数的基本结构,WBR0-代数是以蕴涵算子和(?)定义于一般集合上的逻辑代数,并且WBR0-代数的无序特征为多种相关逻辑代数的建立和各种逻辑代数之间的关系的研究提供了又一途径.本文基...
- 汪宁
- 关键词:模糊逻辑逻辑代数还原性
- SWBR_0-代数的蕴涵理想及其诱导的商代数被引量:6
- 2013年
- 根据WBR0-代数的无序特征,通过将WBR0-代数的正则性弱化,建立了SWBR0-代数,提出了SWBR0-代数蕴涵理想的概念,讨论了蕴涵理想与同余关系之间的联系,并通过蕴涵理想定义了SWBR0-代数上的商代数,得到了SWBR0-代数的同态基本定理.
- 汪宁吴洪博
- 关键词:模糊逻辑商代数同态
- 基于正则FI代数的MT理想及其应用被引量:12
- 2013年
- 本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法.
- 吴洪博汪宁
- 关键词:逻辑代数同余关系还原性
- 基于MBR_0-代数的MTL-代数的表现形式被引量:6
- 2013年
- 首先根据WBR0-代数的定义和对偶范畴的思想建立了MBR0-代数结构,证明了MBR0-代数结构是交半格结构;再对MBR0-代数结构添加运算及相应条件,得到强MBR0-代数结构,证明了强MBR0-代数结构是剩余交半格结构;最后,给出了强MBR0-代数是MTL-代数的充要条件.
- 汪宁吴洪博
- 关键词:模糊逻辑逻辑代数
- 拓扑系统之间的单-满映射和满-单映射被引量:1
- 2013年
- 利用一般拓扑学中的嵌入映射和商映射的部分特征,在拓扑系统之间引入了单-满映射,满-单映射的概念,并构造了相应的实例(一个非连续的单-满映射和一个非连续的满-单映射).通过讨论它们相应的性质说明了这些概念提出的合理性和必要性.
- 汪宁吴洪博
- 关键词:拓扑系统数理逻辑