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

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

基于剩余格语义的格值逻辑系统的程度化方法

基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.