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

A kind of partition on F(S) in Lukasiewicz logic system

作　　者：马晓珏[1] 王国俊[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《陕西师范大学学报（自然科学版）》2004年第2期1-4,共4页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金重点资助项目(19831040)

摘　　要：利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.The accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function. The main result is that when α is an irrational number, the set of accessible (α-tautology) is empty, consequently, a kind of partition on F(S) is given. In addition, the theorem that a tautology can be got by using upgrade algorithm to non-tautologies within finite times in Lukasiewicz logic system is proved.

关 键 词：LUKASIEWICZ逻辑系统 可达a-重言式 McNaughton函数 分划 

分 类 号：O141.1[理学—数学]