首页> 中文期刊> 《西安文理学院学报（自然科学版）》 >逻辑系统(-W),W,Wn中的广义矛盾式

逻辑系统(-W),W,Wn中的广义矛盾式

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.

著录项

来源
《西安文理学院学报（自然科学版）》 |2006年第3期|76-79|共4页
作者
马巧云; 吴洪博;
展开▼
作者单位

西安文理学院,数学系,陕西,西安,710065;

陕西师范大学,数学科学学院,陕西,西安,710062;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
逻辑系统; 重言式; 矛盾式; 分化;

相似文献

中文文献
外文文献
专利

1. 逻辑系统(W)、W、Wn中的广义矛盾式及一种降级算法 [J] . 马巧云 ,吴洪博 ,赵艳 . 纯粹数学与应用数学 . 2007,第004期
2. 修正的RDP逻辑系统中的广义矛盾式 [J] . 李顺琴 ,惠小静 . 计算机工程与应用 . 2015,第011期
3. 修正的Product逻辑系统中的广义矛盾式 [J] . 李顺琴 ,王国俊 . 模糊系统与数学 . 2008,第4期
4. n值Gödel逻辑系统中广义矛盾式的计量化研究 [J] . 李顺琴 . 延安大学学报（自然科学版） . 2016,第001期
5. Gainse-Rescher逻辑系统中子代数的广义矛盾式 [J] . 李顺琴 ,惠小静 . 贵州大学学报（自然科学版） . 2015,第002期
6. n值命题逻辑系统Wn中公式的真度理论 [C] . 张安英 ,于西昌 ,张兴芳 . 中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会 . 2006
7. 几种多值逻辑系统重言式关系和L4中导出函数问题的研究 [A] . 李四化 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号