欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
进一步研究了余剩余格的一些性质，在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构，也为相关多值逻辑系统的研究提供又一途径。
英文摘要：
In this paper, some properties of the co-residuated lattices are further discussed, and based on this, it is proved that regular co-residuated lattices are equivalent to involutory BCK-lattices. These results will be useful for further studying the interior structures of regular co-residuated lattices, and also offer a new way for researching relative many-valued logic systems.
同期刊论文项目
同项目期刊论文
期刊信息
位置：