三角余模与BCK-代数

以左连续三角模及其伴随蕴涵算子→为出发点,给出了强三角模的概念,并推导出了强三角模对应的三角余模及其伴随算子*,给出了强BCK-代数的概念,并讨论了它们之间的关系.主要结果是:(1)([0,1];*,0)是BCK-代数;(2)定义于[0,1]上的强BCK-代数中的二元运算可以诱导出一个三角余模R且是三角余模R的伴随算子.

一类新的左连续三角模

基于左连续三角模在模糊逻辑系统中越来越重要的作用,通过研究,提出了一类新的左连续三角模,并对此三角模的性质进行了初步的探讨。