首页> 中文期刊> 《陕西师范大学学报：自然科学版》 >F(S)在Lukasiewicz逻辑系统中的一种分划

F(S)在Lukasiewicz逻辑系统中的一种分划

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.

著录项

来源
《陕西师范大学学报：自然科学版》 |2004年第2期|1-4|共4页
作者
马晓珏; 王国俊;
展开▼
作者单位

陕西师范大学数学与信息科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
Lukasiewicz逻辑系统; 可达a-重言式; McNaughton函数; 分划;

相似文献

中文文献
外文文献
专利

1. Lukasiewicz 命题逻辑系统一种新的理论的相容度 [J] . 张建成 ,王国俊 . 数学进展 . 2007,第006期
2. Lukasiewicz逻辑系统中的公理在G(o)del以及R0系统中的真度分析 [J] . 屠桂晶 ,张兴芳 ,李志允 . 聊城大学学报（自然科学版） . 2010,第001期
3. Lukasiewicz逻辑系统中理论的平均真度及偏差 [J] . 李骏 ,李小兵 . 计算机工程与应用 . 2016,第004期
4. n值Lukasiewicz命题逻辑系统中理论的相容度 [J] . 魏海新 . 计算机工程与应用 . 2016,第005期
5. n值Lukasiewicz逻辑系统中公式的向量表示及其研究 [J] . 高晓莉 ,惠小静 ,朱乃调 . 计算机科学 . 2016,第S2期
6. 非线性数据系统补偿和校正的一种新方法——兼谈分划分析法 [C] . 袁全 . 第五届全国建筑工程计算机应用学术会议 . 1990
7. Lukasiewicz逻辑系统中公式的真度理论和逻辑度量空间 [A] . 李璧镜 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号