《模糊系统与数学》2002年04期 加入收藏    获取最新 
 积逻辑系统中的广义重言式(英文)
 裴道武,李骏
   讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。
【作者单位】:西安交通大学理学院;甘肃工业大学基础科学系 陕西西安710049;盐城师范学院数学系;江苏盐城224002;甘肃兰州730050
【关键词】:模糊逻辑;积逻辑系统;广义重言式;传递性
【分类号】:O141.1
【DOI】:cnki:ISSN:1001-7402.0.2002-04-002
【正文快照】:
  1  IntroductionAs an important basis of artificial intelligence,fuzzy logic and fuzzy reasoning are becoming themost active subjects of fuzzy system theory[1- 15] .In the theory of modern fuzzy logic,the productlogic[1,2 ] is very important.This logic is the one of three most important continuous t-norm basedfuzzy logical systems proposed by Hajek[1] ,and the famous L ukasiewicz logic can be faithfullyembedded into the product logic. Moreover,there is a natural connection between the product…
 推荐 CAJ下载           PDF下载
 CAJViewer7.0阅读器支持所有CNKI文件格式,AdobeReader仅支持PDF格式
 Generalized Tautologies in Product Logical Systems
 PEI Dao wu 1;2;LI Jun 3(1. Faculty of Science;Xi'an Jiaotong University;Xi'an 710049;China;2. Department of Mathematics;Yancheng Teachers' College;Yancheng 224002;China;3. Department of Basic Science;Gansu University of Technology;Lanzhou 730050;China)
  This paper focuses on the theory of generalized tautologies in product logical systems. A series of properties of subalgebras and generalized tautologies of product logical systems are given out. The main results show that the standard product logical system P has the simplest structure of generalized tautologies in several important fuzzy logical systems, and it possesses the worse transitivity of truth values in inference processes.
【Keyword】:Fuzzy Logic;Product Logical System;Generalized Tautology;Transitivity
 【参考文献】 共(6)篇 
 西文参考文献找到 6 条
 
1Wang G J; Theory of -( -tautologues) in revised Kleene system [M];Science in China(Ser. E); 1998年
2Klement E P, Novara M; A survey on different triangular norm-based fuzzy logics [M];Fuzzy Sets and Systems; 1999年
3Pei D W; The operation and deductive theorem in the formal deductive system L* [M];Ibid; 2001年
4Wang G J; On the logic foundation of fuzzy reasoning [M];Inform. Sci; 1999年
5Pei D W, Wang G J; The completeness and applications of the formal system L* [M];Science in China(Ser. F); 2002年
6Wang G J; A formal deductive system for fuzzy propositional calculus [M];Chinese Sci . Bull; 1997年
 【引证文献】 共(3)篇 
 中国期刊全文数据库找到 3 条
 
1韩莹,陈森发; 扰动模糊命题逻辑的代数结构及其广义重言式性质 [J];高校应用数学学报A辑(中文版); 2005年04期
2刘练珍,李开泰; 修正的Product逻辑系统中的广义重言式理论 [J];模糊系统与数学; 2005年01期
3王国俊,秦晓燕,周湘南; 一类二值谓词逻辑中公式的准真度理论 [J];陕西师范大学学报(自然科学版); 2005年01期
 【同被引文献】 共(10)篇 
 中国期刊全文数据库找到 6 条
 
1陈图云,韩莹,廖士中; 扰动模糊逻辑I~2的最大子代数及其广义重言式 [J];工程数学学报; 2003年02期
2杨晓斌,张文修; Lukasiewicz系统中的广义重言式理论 [J];陕西师范大学学报(自然科学版); 1998年04期
3裴道武; 多值逻辑系统中的子代数与广义重言式 [J];陕西师范大学学报(自然科学版); 2000年02期
4李骏,袁和军; 积分语义学中的积分相似度、伪距离与近似推理理论 [J];陕西师范大学学报(自然科学版); 2002年01期
5王国俊,王伟; 逻辑度量空间 [J];数学学报; 2001年01期
6吴洪博,王国俊; Lukasie wicz逻辑系统中的广义重言式理论 [J];西南交通大学学报(自然科学版); 2000年05期
 西文参考文献找到 4 条
 
1Wang Guojun, Yee Leung; Integrated semantics and logic metric spaces [M];Fuzzy Sets and Systems; 2003年
2Dan Butnariu, Erich Peter Klement , Samy Zafrany; OnTriangular norm-based propositional fuzzy logics [M];Fuzzy Sets and Systems; 1995年
3Dubois D, Prade H, Lang J; Fuzzy sets in approximate reasoning [M];Fuzzy Sets and Systems; 1991年
4Wang Guojun, Fu Li, Song Jianshe; Theory of truth degrees of propositions in two-valued logic [M];Science in China Series A; 2002年
 【二级引证文献】 共(6)篇 
 中国期刊全文数据库找到 5 条
 
1韩莹,陈森发; 有限扰动模糊命题逻辑系统的Σ-广义矛盾式 [J];东南大学学报(自然科学版); 2005年05期
2王国俊,宋建社; 命题逻辑中的程度化方法 [J];电子学报; 2006年02期
3王国俊,惠小静; 概率逻辑学基本定理的推广 [J];电子学报; 2007年07期
4韩莹,陈森发,陈胜; 扰动模糊集的粗糙度 [J];高校应用数学学报A辑; 2007年04期
5于鹏,王国俊; 根与F(S)中的近似推理 [J];自然科学进展; 2006年08期
 中国优秀硕士学位论文全文数据库找到 1 条
 
1张东晓; 逻辑公式的语构真度和构造性三I算法 [D];陕西师范大学; 2006年
 【相似文献】 
 中国期刊全文数据库
 
1裴道武,李骏; 积逻辑系统中的广义重言式(英文) [J];模糊系统与数学; 2002年04期; 21-29
2刘练珍,李开泰; 修正的Product逻辑系统中的广义重言式理论 [J];模糊系统与数学; 2005年01期; 16-21
3王龙春,王国俊; R_0-代数[0,1]的子代数与广义重言式 [J];数学学报; 2004年03期; 107-112
4陈图云,李丽; 模糊时序逻辑的语义及其广义重言式 [J];辽宁师范大学学报(自然科学版); 2004年02期; 3-5
5陈图云,张宇卓,廖士中; 区间值模糊命题逻辑的最大子代数及其广义重言式 [J];模糊系统与数学; 2003年02期; 108-110
6李骏,韦奉岐,马盈仓; 逻辑系统中重言式及广义重言式的关系 [J];纺织高校基础科学学报; 2001年01期; 39-42
7韩莹,陈森发; 扰动模糊命题逻辑的代数结构及其广义重言式性质 [J];高校应用数学学报A辑(中文版); 2005年04期; 107-112
8陈图云,韩莹; 有限扰动模糊逻辑代数及其广义重言式 [J];辽宁师范大学学报(自然科学版); 2002年04期; 10-12
9陈图云,陈文丽; 有限Atanassov逻辑代数及其广义重言式 [J];辽宁师范大学学报(自然科学版); 2001年04期; 4-6
10王国俊,兰蓉; 系统H_α中的广义重言式理论 [J];陕西师范大学学报(自然科学版); 2003年02期; 5-15
 中国优秀硕士学位论文全文数据库
 
1王龙春; L~*系统中的一类广义重言式与L~*系统的一种扩张 [D];陕西师范大学; 2003年
2陈文丽; 修正的Atanassov命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
3张宇卓; 区间值模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
4兰蓉; t-模与蕴涵算子的同构及广义重言式理论 [D];陕西师范大学; 2003年
5汪德刚; 模糊模态命题逻辑及其广义重言式 [D];辽宁师范大学; 2005年
6韩莹; 扰动模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
7李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年
8马晓珏; IMTL逻辑系统及IMTL-代数 [D];陕西师范大学; 2004年
9孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
10吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年
关于知网 | 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)