《陕西师范大学学报(自然科学版)》1997年03期 加入收藏    获取最新    一类代数上的逻辑学(Ⅱ)   王国俊   　　Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论． 【作者单位】：陕西师范大学数学研究所 【关键词】：模糊公式代数；模糊取式；模糊拒取式；支持度；相似度 【基金】：国家自然科学基金 【分类号】：O141.1 【DOI】：cnki:ISSN:1001-3857.0.1997-03-001 【正文快照】： 　　一类代数上的逻辑学（Ⅱ）王国俊（陕西师范大学数学研究所，西安７１００６２；作者，男，６１岁，教授）摘要Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的…   推荐 CAJ下载           PDF下载   CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式   Global solutions for a reaction diffusion system arising in biology   Zhang Quande 1;Wang Yun 2 (1 Department of Mathematics;Shaanxi Normal Univ.;710062 Xi′an;PRC; 2 Xi′an Electric Power College;710032 Xi′an;PRC)   　The Maximum Principle for the initial value problem of parabolic equations is given, the global existence of the classical solutions is proved for the initial value problem of a reaction diffusion system arising in biology, which describes the dependence and conditioning between both living things. The uniqueness and some asymptotic property is estabilished, and the restriction imposed usually on positive initial value is removed. 【Keyword】：reaction diffusion system;initial value problem;global solution;asymptotics   【参考文献】   共（4）篇    中国期刊全文数据库 找到 4 条   1 王国俊; 模糊命题演算的一种形式演绎系统 [J];科学通报; 1997年10期 2 陈永义; 应用标准序列逻辑蕴涵的近似推理 [J];模糊系统与数学; 1992年02期 3 王国俊; 一类代数上的逻辑学(Ⅰ) [J];陕西师范大学学报(自然科学版); 1997年01期 4 国际学术动态 [J];压电与声光; 1979年03期   【引证文献】   共（7）篇    中国期刊全文数据库 找到 7 条   1 王国俊; 关于模糊语义紧致性的若干定理 [J];科学通报; 1999年12期 2 王国俊; 修正的Kleene系统中的Σ-(α-重言式)理论 [J];中国科学E辑; 1998年02期 3 吴洪博,文秋梅; L~*系统中的模糊演绎定理 [J];陕西师范大学学报(自然科学版); 2001年01期 4 程国胜,王国俊; R_0代数及其基本结构 [J];数学物理学报; 1999年S1期 5 岳士弘,张可村; 带有误差估计式的最优模糊插值系统研究 [J];西安交通大学学报; 2000年06期 6 杨晓斌; 初等模糊一阶逻辑的准形式演绎系统 [J];淄博学院学报(自然科学与工程版); 2001年01期 7 杨晓斌,叶继昌; 经典公理系统在模糊命题演算中的不和谐性 [J];淄博学院学报(自然科学与工程版); 2000年01期   【共引文献】   共（276）篇    中国期刊全文数据库 找到 10 条   1 李占坤,徐金哲; 水泵类负载电动机的软起动控制器 [J];中国给水排水; 2005年11期 2 陈图云,孟艳平; 扰动模糊集相似度限定推理方法 [J];辽宁工程技术大学学报; 2004年04期 3 陈图云,孟艳平; 模糊集相似度限定推理方法 [J];工程数学学报; 2005年02期 4 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期 5 邓安生,孙铁利; 形式布尔算子的命题逻辑 [J];东北师大学报(自然科学版); 2000年03期 6 张家录; 形式演绎系统L~*的运算与弱演绎定理 [J];湘南学院学报; 2004年02期 7 李雪莲,查旭东,张起森; 基于Matlab的高速公路沥青路面状况评价模糊决策系统 [J];长沙交通学院学报; 2004年04期 8 王艳平,盖如栋; 直觉模糊集合的基本定理 [J];辽宁工程技术大学学报(自然科学版); 2001年05期 9 张兴芳,孟广武,赵峰,张安英; {I_m}(α-逻辑有效公式)的理论及其应用 [J];工程数学学报; 2007年01期 10 周建中,赵鸿铁; 半主动调谐减震体系模糊控制器的理论研究 [J];北京科技大学学报; 2003年04期  中国优秀硕士学位论文全文数据库 找到 10 条   1 吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 2 焦烨; 模糊矩阵幂序列的收敛性 [D];陕西师范大学; 2004年 3 常瑶芝; L～*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年 4 龙希庆; 格蕴涵代数中a-化子和不等式的研究 [D];西南交通大学; 2007年 5 刘东利; 效应代数中的模糊滤子及其与两种模糊代数系统之间的关系 [D];陕西师范大学; 2006年 6 叶荣飞; 基于虚拟仪器结构的电液振动台计算机智能控制系统的研究 [D];重庆大学; 2002年 7 曹建国; 汽车无级变速传动系统起步控制研究及仿真 [D];重庆大学; 2002年 8 李明国; 基于模糊神经网络的无级变速传动车辆巡航控制及仿真 [D];重庆大学; 2004年 9 苗青; 网络安全战略预警系统设计及关键技术的研究 [D];国防科学技术大学; 2002年 10 韩严斌; 厚度控制系统在可逆冷轧机上的应用研究 [D];武汉科技大学; 2005年  中国博士学位论文全文数据库 找到 10 条   1 王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年 2 姜保庆; 关于弱比例规则的挖掘及推理研究 [D];西南交通大学; 2005年 3 李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年 4 李桃; 烧结过程智能实时操作指导系统的研究 [D];中南大学; 2000年 5 薛占熬; 柔性区间逻辑及推理研究 [D];西北工业大学; 2006年 6 马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年 7 陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年 8 周建中; 基于模糊—神经元的抗震结构智能混合控制 [D];西安建筑科技大学; 2003年 9 马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年 10 陈许玲; 烧结过程状态集成优化控制指导系统的研究 [D];中南大学; 2006年  中国重要会议论文全文数据库 找到 1 条   1 裴道武; R_0代数中的MP滤子与同余关系 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年   【同被引文献】   共（25）篇    中国期刊全文数据库 找到 10 条   1 何颖俞,王国俊; L~*-Lindenbaum代数的结构与L~*公理系统的简化形式 [J];工程数学学报; 1998年01期 2 文松龙,崔明根; W空间中最佳逼近插值算子 [J];计算数学; 1997年02期 3 应明生; 模糊逻辑的紧致性 [J];科学通报; 1998年04期 4 刘练珍，王国俊; Fuzzy蕴涵代数与MV代数 [J];模糊系统与数学; 1998年01期 5 何颖俞,王国俊; L~*中的典型赋值中介与公理系统的简化 [J];科学通报; 1998年06期 6 崔明根,邓中兴; W_2~1空间中的最佳插值逼近算子 [J];计算数学; 1986年02期 7 毛志宏,张雪枫,李衍达; 模糊系统作为通用函数逼近器的研究 [J];中国科学E辑; 1997年04期 8 王国俊; 修正的Kleene系统中的Σ-(α-重言式)理论 [J];中国科学E辑; 1998年02期 9 李洪兴; 模糊控制的插值机理 [J];中国科学E辑; 1998年03期 10 王国俊; 蕴涵格与Stone表现定理的推广 [J];科学通报; 1998年11期  西文参考文献 找到 7 条   1 Gougen L A; L-fuzzy Sets [M];J Math Anal App1; 1967年 2 Goguen J A; L-fuzzy sets [M];J Math Anal Appl; 1967年 3 Aronszajn N; Theory of reproducing kernels [M];Trans Amer Math Soc; 1950年 4 Gerla G; An extension principle for fuzzy logic [M];Mathematical Logic Quarterly; 1994年 5 Wang Guo-jun; On the Logic foundation of fuzzy reasoning [M];Information Science; 1999年 6 Chang C C; Algebraic analysis of many valued logic [M];Trans Amer Math Soc; 1958年 7 Dubois D, Lang J, Prade H; Fuzzy set in approximate reasoning [M];Fuzzy Sets and Systems; 1991年   【二级参考文献】   共（4）篇    中国期刊全文数据库 找到 4 条   1 吴望名; 关于模糊逻辑的—场争论 [J];模糊系统与数学; 1995年02期 2 刘叙华; 广义模糊逻辑和锁语义归结原理 [J];计算机学报; 1980年02期 3 陈永义; 应用标准序列逻辑蕴涵的近似推理 [J];模糊系统与数学; 1992年02期 4 秦克云,徐扬; 格蕴涵代数的超滤 [J];西南交通大学学报(自然科学版); 1999年01期   【二级引证文献】   共（125）篇    中国期刊全文数据库 找到 10 条   1 张兴芳,孟广武,赵峰,张安英; {I_m}(α-逻辑有效公式)的理论及其应用 [J];工程数学学报; 2007年01期 2 王向云; 赋值为R_0-模糊集的逻辑系统 [J];工程数学学报; 2001年01期 3 阎满富,吴洪溥; 修正的Kleene系统中的一种降级算法及其性质 [J];工程数学学报; 2004年04期 4 吴洪博,阎满富; Gdel逻辑系统中F(S)的一个分划及其应用 [J];工程数学学报; 2001年04期 5 吴恒洋,韩诚; 非全序R_0代数的结构 [J];纯粹数学与应用数学; 2004年01期 6 吴洪博; L~*系统的一种改进系统L_0~* [J];纯粹数学与应用数学; 2001年01期 7 许文艳,韩诚; R_0代数中的真布尔元 [J];宝鸡文理学院学报(自然科学版); 2003年04期 8 吴洪博,阎满富; Gdel逻辑系统中广义语义HS规划和广义语义MP规则 [J];工程数学学报; 2003年03期 9 吴洪博,刘敏; L*系统中L*10的特点及应用 [J];工程数学学报; 2006年05期 10 程国胜,叶微; R_0代数的注记 [J];工程数学学报; 2003年06期  中国优秀硕士学位论文全文数据库 找到 10 条   1 孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 2 常瑶芝; L～*谓词逻辑与R_0代数性质新探 [D];陕西师范大学; 2003年 3 兰蓉; t-模与蕴涵算子的同构及广义重言式理论 [D];陕西师范大学; 2003年 4 王龙春; L～*系统中的一类广义重言式与L～*系统的一种扩张 [D];陕西师范大学; 2003年 5 张花荣; 代数系统的可嵌入性 [D];陕西师范大学; 2003年 6 宋庆燕; 命题逻辑公式集上的正则相似关系和一种新型的三I算法 [D];陕西师范大学; 2003年 7 袁和军; 模糊推理的形式化理论 [D];陕西师范大学; 2002年 8 王蕾; 基于谓词的模糊专家系统的设计实现 [D];哈尔滨工业大学; 2006年 9 吴恒洋; 模糊推理的数学结构及其应用 [D];上海师范大学; 2004年 10 苏忍锁; 剩余格与基于剩余格的几类代数系统的关系 [D];陕西师范大学; 2004年  中国博士学位论文全文数据库 找到 3 条   1 马盈仓; 命题泛逻辑的演算理论及推理研究 [D];西北工业大学; 2006年 2 李志伟; 偏序集上的蕴涵代数 [D];首都师范大学; 2002年 3 韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年   【读者推荐文章】   共（10）篇     1 王国俊; 一类代数上的逻辑学(Ⅰ)[J]; 陕西师范大学学报(自然科学版); 1997年01期; 5-12 2 王国俊; 关于模糊推理的若干基本问题[J]; 工程数学学报; 2000年S1期; 13-17+62 3 王国俊; 关于抽象逻辑紧致性的一个定理[J]; 陕西师范大学学报(自然科学版); 2000年01期; 5-8 4 王国俊; 模糊推理与模糊逻辑[J]; 系统工程学报; 1998年02期; 3-18 5 周保魁,王国俊; 不同蕴涵算子下的三Ⅰ算法[J]; 陕西师范大学学报(自然科学版); 1998年04期; 4-8 6 王国俊,王伟; 逻辑度量空间[J]; 数学学报; 2001年01期; 159-168 7 王国俊; 模糊命题演算的一种形式演绎系统[J]; 科学通报; 1997年10期; 35-39 8 王国俊; 论聚合与推理的顺序[J]; 陕西师范大学学报(自然科学版); 1999年01期; 6-10 9 王国俊; 蕴涵格及其Fuzzy拓扑表现定理[J]; 数学学报; 1999年01期; 133-140 10 王国俊; 三角型模糊数空间的均匀性[J]; 纯粹数学与应用数学; 1997年02期; 1-5+11   【相似文献】    中国期刊全文数据库   1 王国俊; 一类代数上的逻辑学(Ⅱ) [J];陕西师范大学学报(自然科学版); 1997年03期; 5-12 2 王国俊; 一类代数上的逻辑学(Ⅰ) [J];陕西师范大学学报(自然科学版); 1997年01期; 5-12 3 王国俊; 模糊命题演算的一种形式演绎系统 [J];科学通报; 1997年10期; 35-39 4 王国俊; 模糊推理与模糊逻辑 [J];系统工程学报; 1998年02期; 3-18 5 张霄力,范玉顺,宋士吉; 模糊推理反向三I的R_L型约束度分析 [J];系统科学与数学; 2004年03期; 32-37 6 何颖俞,王国俊; L~*-Lindenbaum代数的结构与L~*公理系统的简化形式 [J];工程数学学报; 1998年01期; 6-13 7 王明胜; 新的蕴涵算子Rzh及其应用 [J];黄冈职业技术学院学报; 2007年02期; 86-92

相关期刊  >  数学学报  >  数学年刊A辑(中文版)  >  数学进展  >  数学研究与评论  >  数学杂志  >  高等学校计算数学学报  >  数学季刊  >  纯粹数学与应用数学  >  运筹学学报  >  Numerical Mathematics:A Journal of Chinese Universities  >  Northeastern Mathematical Journal  >  Journal of Computational Mathematics  >  Chinese Annals of Mathematics  >  Applied Mathematics:A Journal of Chinese Universities  >  Annals of Differential Equations  >  Analysis in Theory and Applications  >  Acta Mathematicae Applicatae Sinica  >  应用泛函分析学报  >  数学研究  >  数理统计与应用概率  相关机构  > 陕西师范大学数学研究所  > 清华大学自动化系  > 北京  > 黄冈职业技术学院  相关作者  > 王国俊  > 范玉顺  > 何颖俞  > 张霄力  > 宋士吉  > 王明胜