BCK-逻辑相关硕士博士期刊学术论文

引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于......