首页> 中文期刊> 《重庆文理学院学报（自然科学版）》 >n值标准序列逻辑系统Sn的子代数及其重言式理论

n值标准序列逻辑系统Sn的子代数及其重言式理论

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.

著录项

来源
《重庆文理学院学报（自然科学版）》 |2008年第5期|9-11|共3页
作者
隋云云;
展开▼
作者单位

潍坊学院,山东,潍坊,261061;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
逻辑系统; 子代数; 重言式;

相似文献

中文文献
外文文献
专利

1. n值标准序列逻辑系统S_n的子代数及其重言式理论 [J] . 隋云云 . 重庆高教研究 . 2008,第005期
2. n值逻辑系统Sn的子代数及其重言式理论 [J] . 隋云云 . 潍坊学院学报 . 2008,第006期
3. 修正的RDP逻辑系统中子代数的广义重言式理论 [J] . 李顺琴 ,惠小静 . 计算机工程与应用 . 2015,第012期
4. 逻辑系统RDP中子代数的广义重言式理论 [J] . 于鸿丽 ,吴洪博 . 计算机工程与应用 . 2011,第032期
5. G(o)del逻辑系统中1/2-子代数上的广义重言式理论 [J] . 李修清 . 计算机工程与应用 . 2011,第005期
6. n值命题逻辑系统Wn中公式的真度理论 [C] . 张安英 ,于西昌 ,张兴芳 . 中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会 . 2006
7. Lukasiewicz区间值逻辑的广义重言式及其真度理论 [A] . 卫利萍 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号