| F(S)在Lukasiewicz逻辑系统中的一种分划 |
| |
| 引用本文： | 马晓珏,王国俊. F(S)在Lukasiewicz逻辑系统中的一种分划[J]. 陕西师范大学学报(自然科学版), 2004, 32(2): 1-4 |
| |
| 作者姓名： | 马晓珏 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(19831040) |
| |
| 摘 要： | 利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。
|
| 关 键 词： | Lukasiewicz逻辑系统 可达a-重言式 McNaughton函数 分划 |
| 文章编号： | 1672-4291(2004)02-0001-04 |
| 修稿时间： | 2003-08-02 |
A kind of partition on F(S) in Lukasiewicz logic system |
| |
| MA Xiao-jue,WANG Guo-jun. A kind of partition on F(S) in Lukasiewicz logic system[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2004, 32(2): 1-4 |
| |
| Authors: | MA Xiao-jue WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
