EBL-代数上的Bosbach态和Riecan态

基于逻辑代数上的态理论,提出了EBL-代数上的Bosbach态和RieCan态的概念,得到了它们的性质以及等价刻画,证明了对合EBL-代数上的Bosbach态与Riefian态是等价的。

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

态理论在多值逻辑及其相关代数的研究中有着重要的作用.在EBL-代数上引入赋值态的概念,给出赋值态的性质和等价刻画;从滤子和商代数的角度讨论了赋值态与Bosbach态、极值Bosbach态之间的关系;提出了具有量词的EBL-代数,并研究了其相关性质.

EBL-代数上的蕴涵滤子与正蕴涵滤子

滤子理论在多值逻辑及其相关代数的研究中扮演着重要的角色.在EBL-代数上引入蕴涵滤子、正蕴涵滤子以及Boolean滤子等概念,研究它们的性质和相关的等价刻画,得到了正蕴涵滤子是蕴涵滤子、Boolean滤子和正蕴涵滤子等价的结论.通过滤子构建EBL-代数上的同余关系,并从商代数的角度证明了一些滤子的性质.