检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:凌雪岷[1] LING Xue-min(Department of General Education,Anhui Xinhua University,Hefei 230088,China)
机构地区:[1]安徽新华学院通识教育部
出 处:《佛山科学技术学院学报(自然科学版)》2020年第1期39-43,60,共6页Journal of Foshan University(Natural Science Edition)
基 金:安徽省质量工程一般教研项目(2017jyxm0530);安徽新华学院重点科研项目(2017zr011);安徽新华学院教学团队项目(2017jxtdx05);安徽新华学院“骨干教师”项目(2018xgg32,2018xgg36)
摘 要:证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。In this paper,it is proved that involution BCK-algebras are equivalent to regular FI-algebras.Distribution of involution BCK-algebras is introduced.Properties of distributive involution BCK-algebr-as are discussed.It is proved that distributive involution BCK-algebras and Boolean algebras are equivalent.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.218.108.184