EBL-代数上的赋值态和具有量词的EBL-代数  

State-morphism on EBL-algebras and EBL-algebras with Quantifier

作　　者：张梦雅 刘心如 左卫兵 ZHANG Meng-ya;LIU Xin-ru;ZUO-Wei-bing(College of Mathematics and Statistics,North China University of Water Resources and Electric Power,Zhengzhou 450046,China;Dean’s office,North China University of Water Resources and Electric Power,Zhengzhou 450046,China)

机构地区：[1]华北水利水电大学数学与统计学院,河南郑州450046 [2]华北水利水电大学教务处,河南郑州450046

出　　处：《兰州文理学院学报（自然科学版）》2023年第4期1-6,共6页Journal of Lanzhou University of Arts and Science(Natural Sciences)

摘　　要：态理论在多值逻辑及其相关代数的研究中有着重要的作用.在EBL-代数上引入赋值态的概念,给出赋值态的性质和等价刻画;从滤子和商代数的角度讨论了赋值态与Bosbach态、极值Bosbach态之间的关系;提出了具有量词的EBL-代数,并研究了其相关性质.State theory plays an important role in the study of multivalued logic and its related algebras.The concept of state-morphism is introduced in EBL-algebras,its properties and equivalent characterization are investigated,and the relationship between state-morphism and Bosbach state and extremal Bosbach state is discussed from the perspective of filters and quotient algebras.In addition,the EBL-algebras with quantifier is introduced and its related properties are studied.

关 键 词：EBL-代数 赋值态 EBLQ-代数 Bosbach态 

分 类 号：O159[理学—数学]