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

• 作者: 王国俊 马晓珏
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 哲学
• 关键词: Lukasiewicz逻辑系统 可达α-重言式 McNaughton函数 分划
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 1-4
• 页数: 4页
• 分类号: O141.1|B815.6
• 字数: 3638字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2004.02.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	马晓珏	陕西师范大学数学与信息科学学院	2	5	1.0	2.0