modal算子相关论文
相等代数最初由S.Jenei提出,它是高阶模糊逻辑对应的逻辑代数.在非经典逻辑的研究中,modal-逻辑是一个重要分支.伪赋值理论在对逻......
Hoop代数最先由B.Bosbach于20世纪60年代作为一种自然序的可换剩余正半群而提出的.modal逻辑是非经典逻辑范畴的一个重要分支,moda......
