《模糊系统与数学》1990年01期 加入收藏    获取最新 
 Fuzzy蕴涵代数
 吴望名
   本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。
【作者单位】:上海师范大学数学系
【关键词】:蕴涵;FI代数;Boole代数;滤子;同态
【DOI】:cnki:ISSN:1001-7402.0.1990-01-010
【正文快照】:
  1。引言 在各种逻辑系统中,“落涵”是一个基本的逻辑连接词。设,,q是两个命题,“若p则q”可记作夕,q,读作尹蕴涵q,,称为蕴涵算子。关于蕴涵算子已有不少文献作了研究(例如,见【l],汇幻,【5])。但对蕴涵算子的共同性质作代数上的研究似不多见。本文讨论的Fl代数就是对蕴涵算子作代数研究的一种探索。2.FI代数 首先引入Fl代数的定义。 定义2.1一个(2,o)型代数(X,,,o)称为Fl代数,如果Vx,,,“任X,有 (I:)劣,(梦,z)=夕,(劣*之) (12)(劣,夕),〔(夕,名),(劣,名)]=l (I:)(劣,劣)=1 (1.)若劣,夕=夕,劣=1则劣=梦 (I。)0,劣=1其中1=O,0. 例2.1设…
 推荐 CAJ下载           PDF下载
 CAJViewer7.0阅读器支持所有CNKI文件格式,AdobeReader仅支持PDF格式
 【引证文献】 共(65)篇 
 中国期刊全文数据库找到 10 条
 
1刘练珍,李开泰; FI代数同构于一族全序FI代数的直积的子代数的条件 [J];纯粹数学与应用数学; 2004年01期
2吴洪博; L~*系统的一种改进系统L_0~* [J];纯粹数学与应用数学; 2001年01期
3吴洪博,阎满富; Gdel逻辑系统中广义语义HS规划和广义语义MP规则 [J];工程数学学报; 2003年03期
4朱怡权; 关于格蕴涵代数与BCK-代数 [J];纯粹数学与应用数学; 1999年03期
5朱怡权; R_0代数的对偶代数 [J];工程数学学报; 2002年04期
6王丰效; 关于弱FI代数的几个结果 [J];固原师专学报; 2002年03期
7李旭东; 关于N(2,2,0)代数的一类序关系方程解 [J];甘肃科学学报; 2002年03期
8朱怡权,李峥嵘; 关于格蕴涵代数 [J];黄冈师范学院学报; 1997年04期
9李旭东; 由N(2,2,0)代数的幂零元集生成的一个商代数 [J];汉中师范学院学报; 2004年03期
10朱怡权; 基于FI-代数的一个逻辑系统 [J];模糊系统与数学; 2005年02期
 中国优秀硕士学位论文全文数据库找到 5 条
 
1常瑶芝; L~*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年
2龙希庆; 格蕴涵代数中a-化子和不等式的研究 [D];西南交通大学; 2007年
3李兴宽; BCK代数与De Morgan等代数的关系研究 [D];昆明理工大学; 2006年
4张花荣; 代数系统的可嵌入性 [D];陕西师范大学; 2003年
5罗清君; IL型三I算法及其还原性和R_0代数中的滤子格 [D];陕西师范大学; 2006年
 中国博士学位论文全文数据库找到 3 条
 
1薛占熬; 柔性区间逻辑及推理研究 [D];西北工业大学; 2006年
2赵光峰; 格蕴涵代数与图的升分解问题的研究 [D];西南交通大学; 2002年
3李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年
 【同被引文献】 共(279)篇 
 中国期刊全文数据库找到 10 条
 
1曹永林; 偏序半群的最大自然序半格同态象 [J];纯粹数学与应用数学; 1998年03期
2程国胜,叶继昌; 有界可换BCK-代数与MV-代数 [J];工程数学学报; 2000年02期
3雷天德; 广义结合BCI-代数 [J];纯粹数学与应用数学; 1985年00期
4任芳; R_0-代数上的同余关系 [J];工程数学学报; 2001年01期
5王向云; 赋值为R_0-模糊集的逻辑系统 [J];工程数学学报; 2001年01期
6吴洪博,阎满富; Gdel逻辑系统中F(S)的一个分划及其应用 [J];工程数学学报; 2001年04期
7刘练珍,李开泰; FI代数同构于一族全序FI代数的直积的子代数的条件 [J];纯粹数学与应用数学; 2004年01期
8吴洪博; L~*系统的一种改进系统L_0~* [J];纯粹数学与应用数学; 2001年01期
9朱怡权; 关于格蕴涵代数与BCK-代数 [J];纯粹数学与应用数学; 1999年03期
10邓方安,徐扬,吴建乐; 关于N(2,2,0)代数的平移变换 [J];广西民族学院学报(自然科学版); 1998年01期
 中国优秀硕士学位论文全文数据库找到 2 条
 
1朱华; 格蕴涵代数中滤子和理想的研究 [D];西南交通大学; 2005年
2潘小东; 关于格蕴涵代数方程的研究 [D];西南交通大学; 2005年
 中国博士学位论文全文数据库找到 6 条
 
1王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年
2鲁斌; 广义智能系统柔性超拓扑空间模型研究与应用 [D];西北工业大学; 2003年
3樊磊; Domain理论中若干问题的研究 [D];首都师范大学; 2001年
4赵光峰; 格蕴涵代数与图的升分解问题的研究 [D];西南交通大学; 2002年
5马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年
6金翊; 三值光计算机原理和结构 [D];西北工业大学; 2002年
 中国重要会议论文全文数据库找到 3 条
 
1李志伟,李桂华; Fuzzy蕴涵代数的若干性质 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
2裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
3李志伟; 偏序集上的关联蕴涵代数 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
 西文参考文献找到 10 条
 
1Pavelka J J; On fuzzy logic[J] [M];Z Math Logic Grund Math; 1979年
2Xu Y,,Ruan D,Qinand K Y,et al; Lattice-Valued Logic[M] [M];; 2003年
3Pert Hajerk; Metamathematics of Fuzzy logic [M];; 1998年
4Hang Wenping; Nil-radical inalgebras [M];Math aponica; 1992年
5Jiem,Jun Y B; BCK-algebras [M];; 1994年
6Gierz G; A Compendiumof Continuous Lattice [M];; 1980年
7Pavelka J; On fuzzy logicⅠ,Ⅱ,Ⅲ,Zeitschr fuzzy mathematics logic and grundlagend [M];Mathematics; 1979年
8Bolc L,Borowik P; Many-Valued Logics [M];; 1992年
9XU Y,Kerre E E,Ruan D,et al; Fuzzy reasoning based on extension principle [M];Intelligent Systems; 2001年
10JUN Y B,Roh E H,XU Y; LI-ideals in lattice i mplication algebras [M];Math Soc; 1998年
 【二级引证文献】 共(162)篇 
 中国期刊全文数据库找到 10 条
 
1裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期
2张红杰,吴洪博; BR_0代数中的滤子与理想 [J];安康学院学报; 2007年01期
3张家录; 形式演绎系统L~*的运算与弱演绎定理 [J];湘南学院学报; 2004年02期
4马晓珏; 弱MV-代数与IMTL代数的关系及IMTL公理系统的简化 [J];宝鸡文理学院学报(自然科学版); 2004年01期
5张花荣,李骏,谢强军; MTL代数的性质及其滤子 [J];兰州理工大学学报; 2005年05期
6苏忍锁; 蕴涵格、弱R_o代数与正则剩余格 [J];宝鸡文理学院学报(自然科学版); 2004年02期
7段景瑶,王国俊; Boole代数的等价刻画 [J];宝鸡文理学院学报(自然科学版); 2007年03期
8任芳; R_0-代数上的同余关系 [J];工程数学学报; 2001年01期
9阎满富,吴洪溥; 修正的Kleene系统中的一种降级算法及其性质 [J];工程数学学报; 2004年04期
10刘练珍,李开泰; FI代数同构于一族全序FI代数的直积的子代数的条件 [J];纯粹数学与应用数学; 2004年01期
 中国优秀硕士学位论文全文数据库找到 10 条
 
1孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
2李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年
3汪德刚; 模糊模态命题逻辑及其广义重言式 [D];辽宁师范大学; 2005年
4吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
5韩莹; 扰动模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
6常瑶芝; L~*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年
7兰蓉; t-模与蕴涵算子的同构及广义重言式理论 [D];陕西师范大学; 2003年
8张家锋; 非经典逻辑代数的粗糙性研究 [D];西南交通大学; 2006年
9龙希庆; 格蕴涵代数中a-化子和不等式的研究 [D];西南交通大学; 2007年
10李兴宽; BCK代数与De Morgan等代数的关系研究 [D];昆明理工大学; 2006年
 中国博士学位论文全文数据库找到 10 条
 
1王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年
2薛占熬; 柔性区间逻辑及推理研究 [D];西北工业大学; 2006年
3马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年
4陈树伟; 基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究 [D];西南交通大学; 2006年
5马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年
6李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年
7韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年
8孟丹; 基于格蕴涵代数的格值逻辑系统的归结自动推理研究 [D];西南交通大学; 2004年
9刘用麟; 若干逻辑代数系统结构的研究 [D];西安电子科技大学; 2005年
10王伟; 格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究 [D];西南交通大学; 2002年
 中国重要会议论文全文数据库找到 6 条
 
1李桂华,李志伟; Fuzzy蕴涵代数的t-范及其性质 [A];第12届全国模糊系统与模糊数学学术年会论文集 [C]; 2004年
2李志伟,李桂华; Fuzzy蕴涵代数的若干性质 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
3王国俊; Fuzzy逻辑与有序代数 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
4李志伟; 偏序集上的关联蕴涵代数 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
5陈图云,陈文丽; 修正的Atanassov逻辑及其广义重言式 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
6霍书全,鞠实儿; SLO的代数结构 [A];开放类逻辑论文集 [C]; 2004年
 【相似文献】 
 中国期刊全文数据库
 
1吴望名; Fuzzy蕴涵代数 [J];模糊系统与数学; 1990年01期; 58-66
2王明胜; 新的蕴涵算子Rzh及其应用 [J];黄冈职业技术学院学报; 2007年02期; 86-92
3曾广兴; Lang同态定理的一个推广 [J];科学通报; 1988年08期; 12-14
4王树泉; S(n)-θ-闭空间与乘积空间 [J];曲阜师范大学学报(自然科学版); 1997年04期; 16-19
5乔全喜,徐扬; 蕴涵算子 [J];西南交通大学学报; 1995年02期; 188-193
6李恩凤; 关于半群滤子及其同态性质 [J];青海师范大学学报(自然科学版); 1995年03期; 1-3
7黄益生; 弱Boole代数 [J];龙岩师专学报; 1991年03期; 33-41
8陈伟; 正则FI代数的若干性质 [J];模糊系统与数学; 2001年04期; 26-29
9王国俊,宋庆燕,宋玉靖; Boole代数上的度量结构及其在命题逻辑中的应用 [J];数学学报; 2004年02期; 111-120
10蒋继光; 仿紧空间的滤子性质 [J];科学通报; 1991年22期; 7-10
 中国优秀硕士学位论文全文数据库
 
1兰蓉; t-模与蕴涵算子的同构及广义重言式理论 [D];陕西师范大学; 2003年
2罗清君; IL型三I算法及其还原性和R_0代数中的滤子格 [D];陕西师范大学; 2006年
3张花荣; 代数系统的可嵌入性 [D];陕西师范大学; 2003年
4刘新; 一种弱BL形式演绎系统及其代数理论 [D];昆明理工大学; 2003年
5周湘南; 理论的相容度及效应代数的滤子与商 [D];陕西师范大学; 2005年
6李宁; Locale的Hausdorff分离公理的滤子式刻划 [D];辽宁师范大学; 2004年
7刘东利; 效应代数中的模糊滤子及其与两种模糊代数系统之间的关系 [D];陕西师范大学; 2006年
8马晓珏; IMTL逻辑系统及IMTL-代数 [D];陕西师范大学; 2004年
9常瑶芝; L~*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年
10张宝华; 关于格蕴涵代数性质的研究 [D];西南交通大学; 2003年
 中国博士学位论文全文数据库
 
1李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年
2王伟; 格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究 [D];西南交通大学; 2002年
3刘用麟; 若干逻辑代数系统结构的研究 [D];西安电子科技大学; 2005年
4韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年
 中国重要会议论文全文数据库
 
1秦克云,徐扬; 格蕴涵代数中模糊滤子的若干性质 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
2陈学友; 德摩根代数上的理想 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
3刘军,马骏; 格值逻辑系统LP(X)的推理性质讨论 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
4苏珂; 优化问题中基于线性系统求解的滤子方法 [A];第八届中国青年运筹信息管理学者大会论文集 [C]; 2006年
5斯钦孟克; L-ws紧集 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年
6王华; 一种信赖域SQP滤子方法的局部收敛性 [A];第八届中国青年运筹信息管理学者大会论文集 [C]; 2006年
7周武能; 半正则强F紧性 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
8濮定国,姚红亮; 滤子QP-free方法(英文) [A];中国运筹学会第八届学术交流会论文集 [C]; 2006年
9宁佐贵; 模糊控制算法的等价关系 [A];中国工程物理研究院科技年报(1999) [C]; 1999年
10濮定国,潘淑珍; 滤子-弱NCP函数SQP方法(英文) [A];中国运筹学会第八届学术交流会论文集 [C]; 2006年
关于知网 | CNKI导报 | 知识产权声明 | 联系我们 | 知网招商
京ICP证040431号 京ICP证040441号 互联网出版许可证新出网证(京)字008号
售卡热线:800-810-6613、010-62789720、010-62773682
售后服务:800-810-1436(限座机拨打) 010-62791813、010-62783978
招商热线: 010-62772106 投诉电话:010-62791994 2007 中国知网(cnki)