Gainse-Rescher逻辑系统中的广义重言式理论

发布时间：2018-08-30 08:56

【摘要】：将王国俊教授在逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广 ,并应用到了Gainse Rescher逻辑系统 Gr,Gr,Sn 中 .主要结果是 :在逻辑系统 Gr,Gr 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统Sn 中 ,对任一公式最多进行n次升级算法即可得到重言式 ;利用可达广义重言式概念和α 矛盾式概念分别在 Gr,Gr,Sn 中给出了F(S)的一个关于 同余的分划 .
[Abstract]:The generalized tautology theory of Professor Wang Guojun in the logic system W / W _ k is generalized and applied to the Gainse Rescher logic system Gr,Gr,Sn. The main results are as follows: in logical system Gr,Gr, tautology can not be obtained by finite updating algorithm for non-tautology, in logic system Sn, tautology can be obtained by updating any formula for n times at most. By using the concepts of reachable generalized tautology and 伪 contradiction, a partition of congruence of F (S) is given in Gr,Gr,Sn.
【作者单位】： 四川大学数学学院!成都610064 唐山师范学院数学系!唐山063000
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

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

【共引文献】

相关期刊论文 前10条

1 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期

2 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期

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

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

5 马锐;梁林;吕映洁;;正交模格上的代数性质[J];楚雄师范学院学报;2009年09期

6 李骏,韦奉岐,马盈仓;逻辑系统中重言式及广义重言式的关系[J];纺织高校基础科学学报;2001年01期

7 李顺琴;王国俊;;修正的Kleene系统中的子代数的广义矛盾式[J];纺织高校基础科学学报;2007年02期

8 杨春志;李永明;;基于G銉del蕴涵算子的导出算子的n值逻辑系统[J];纺织高校基础科学学报;2008年01期

9 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期

10 辛晓东;非线性格值逻辑系统鄀_6[J];工程数学学报;2000年S1期

相关博士学位论文 前6条

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

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

3 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

4 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

5 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

6 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

相关硕士学位论文 前10条

1 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

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

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

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

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

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

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

9 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

10 马丽娜;剩余格中的几类Fuzzy滤子和Fuzzy同余关系[D];陕西师范大学;2006年

【二级参考文献】

相关期刊论文 前2条

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

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

【相似文献】

相关期刊论文 前10条

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

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

3 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

4 李修清;魏海新;;G銉del逻辑系统中标准子代数上的广义矛盾式[J];桂林航天工业高等专科学校学报;2010年03期

5 李修清;;G銉del逻辑系统中1/2-子代数上的广义重言式理论[J];计算机工程与应用;2011年05期

6 马晓珏,王国俊;F(S)在Lukasiewicz逻辑系统中的一种分划[J];陕西师范大学学报(自然科学版);2004年02期

7 李修清;魏海新;;R_G-代数的子代数与广义重言式理论[J];计算机工程与应用;2011年29期

8 魏海新;;修正的Kleene系统中子代数的广义重言式理论[J];计算机工程与应用;2009年22期

9 李顺琴;王国俊;;系统H_α中的子代数的广义重言式理论[J];计算机工程与应用;2010年08期

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

相关会议论文 前5条

1 周正玉;;水准数据检查程序研究与开发[A];广东省测绘学会第九次会员代表大会暨学术交流会论文集[C];2010年

2 熊腾科;张德富;董槐林;姜青山;邹滢滢;;信息系统中基于粗集的属性关联挖掘[A];第二十二届中国数据库学术会议论文集（技术报告篇）[C];2005年

3 石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年

4 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[A];计算机研究新进展（2010）——河南省计算机学会2010年学术年会论文集[C];2010年

5 卞正兰;高敏;董作人;叶青;瞿荣辉;方祖捷;;基于单线阵CCD的二维动态光电自准直测角仪[A];2009年先进光学技术及其应用研讨会论文集（上册）[C];2009年

相关重要报纸文章 前10条

1 本报记者 李智林　夏娜;新平二中：“安全第一”建设平安校园[N];玉溪日报;2010年

2 毕如华;军旅缘何偏爱“夜明珠”[N];中国矿业报;2001年

3 张兴春　记者 孙玉红;社区按“格”管理[N];哈尔滨日报;2011年

4 记者 孙涛;我州部署事业单位岗位设置管理工作[N];恩施日报;2008年

5 邓新建　邓s，

本文编号：2212601