余剩余格相关论文
不同的多值逻辑系统对应着不同的逻辑代数系统,早在1958年,著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入......
提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三I......
在偏序集上引入了余伴随对((+),(-))的概念,并研究了它在格上的若干性质,提出了余剩余格理论,最后在此基础上给出了MV-代数的一个......
基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中......
进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则......
进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻......