系统H_α中的子代数的广义重言式理论

发布时间：2017-09-15 21:23

  本文关键词：系统H_α中的子代数的广义重言式理论

  更多相关文章： 多值逻辑系统 广义重言式 子代数 分划

【摘要】：将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。
【作者单位】： 延安大学数学与计算机科学学院;陕西师范大学数学研究所;
【关键词】： 多值逻辑系统 广义重言式 子代数 分划
【基金】：国家自然科学基金Grant No.10331010 延安大学基金(No.YDK2007-28)~~
【分类号】：O141.1
【正文快照】： 1引言文献[1-3]引入了蕴涵算子R0,建立了修正的Kleene系统,并引入了∑-(α-重言式)理论,这为多值逻辑提供了新的研究方向。此后,其他多值逻辑系统中的广义重言式理论也蓬勃发展[4-12]。文献[4]引入了带参数的多值逻辑系统H(α0≤α≤1),研究了系统Hα中的广义重言式理论。该

【参考文献】

中国期刊全文数据库 前8条

1 王国俊,兰蓉;系统H_α中的广义重言式理论[J];陕西师范大学学报(自然科学版);2003年02期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

3 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

4 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

5 吴洪博,王国俊;Lukasie wicz逻辑系统中的广义重言式理论[J];西南交通大学学报(自然科学版);2000年05期

6 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

7 吴洪博;G銉del系统中一种降级算法及性质[J];四川大学学报(自然科学版);2003年06期

8 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

【共引文献】

中国期刊全文数据库 前10条

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

7 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

8 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

9 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

10 马盈仓,李骏;FMP和FMT的三I解及其性质[J];纺织高校基础科学学报;2005年02期

中国重要会议论文全文数据库 前7条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

7 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

中国博士学位论文全文数据库 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

中国硕士学位论文全文数据库 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

4 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

5 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

2 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

3 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

4 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

5 李继成,张文修;HFI-代数的拟Fuzzy-赋值[J];模糊系统与数学;2000年02期

6 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

7 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

8 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

9 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

10 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

【相似文献】

中国期刊全文数据库 前10条

1 李必祥;计算机中的Fuzzy逻辑系统[J];湖北师范学院学报(自然科学版);1982年02期

2 许小曙;;多值T-ULM时序网络的理论与综合方法[J];铁道科学与工程学报;1985年01期

3 李祥,李广元;“中介逻辑”的特征问题[J];科学通报;1988年22期

4 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

5 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

6 吴洪博,阎满富;Gainse-Rescher逻辑系统中的广义重言式理论[J];四川大学学报(自然科学版);2000年05期

7 吴洪博,文秋梅;逻辑系统鄘,W,W_k中F(S)的一个分划及其升级算法的性质[J];陕西师范大学学报(自然科学版);2000年02期

8 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

9 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

10 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

中国重要会议论文全文数据库 前1条

1 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

中国博士学位论文全文数据库 前1条

1 马盈仓;命题泛逻辑的演算理论及推理研究[D];西北工业大学;2006年

中国硕士学位论文全文数据库 前10条

1 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

2 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

3 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

4 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

5 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

6 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

7 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

8 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

9 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

10 吴凤干;直觉模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

，

本文编号：858966