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

摘要：

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

关键词：Lukasiewicz逻辑系统、可达α-重言式、McNaughton函数、分划

所属期刊栏目：32

分类号：O141.1;B815.6(数理逻辑、数学基础)

资助基金：国家自然科学基金19831040

在线出版日期：2004-07-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-4