算子逻辑相关论文
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系......
根据ＳＰＡ中联系数的概念，提出了一个基于证据的分布算子逻辑，并讨论了其性质。...
