三角余模与BCK-代数
Triangle conorm and BCK-algebra作者机构：陕西师范大学数学与信息科学学院陕西西安710062 西安文理学院数学系陕西西安710065
出 版 物：《南阳师范学院学报》 (Journal of Nanyang Normal University)
年 卷 期：2006年第5卷第3期
页 面：5-8页
学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金：国家自然科学基金(10471083) 陕西师范大学重点科研项目基金(995130)
主 题：三角模 三角余模 左连续 BCK 代数 强BCK-代数
摘 要：以左连续三角模及其伴随蕴涵算子→为出发点,给出了强三角模的概念,并推导出了强三角模对应的三角余模及其伴随算子*,给出了强BCK-代数的概念,并讨论了它们之间的关系.主要结果是:(1)([0,1];*,0)是BCK-代数;(2)定义于[0,1]上的强BCK-代数中的二元运算可以诱导出一个三角余模R且是三角余模R的伴随算子.
维普期刊数据库
同方期刊数据库