检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张梦雅 左卫兵 ZHANG Mengya;ZUO Weibing(College of Mathematics and Statistics,North China University of Water Resources and Electric Power,Zhengzhou 450046,China)
机构地区:[1]华北水利水电大学数学与统计学院,河南郑州450046
出 处:《新乡学院学报》2023年第3期1-6,21,共7页Journal of Xinxiang University
基 金:国家自然科学基金项目(12071133)。
摘 要:基于逻辑代数上的态理论,提出了EBL-代数上的Bosbach态和RieCan态的概念,得到了它们的性质以及等价刻画,证明了对合EBL-代数上的Bosbach态与Riefian态是等价的。Various logic algebras have been widely studied as semantic systemsof non-classical logic,and EBL-algebras is an unbounded generalization of BL-algebras.Based on the state theory in logic algebras,the concepts of Bosbach states and RieGan states on EBL-algebras are introduced,their properties andequivalent characterization are investigated,and it is proved that Bosbach states and Riefian states are equivalent on involutive EBL-algebras.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.147.67.34