A 16-classification partition of formula set F(S) in revised Kleene system me="IEq1">mg align="top" src="/ft/en/135_1432-7643/s00500-004-0431-2etIEq1.gif" alt="$$\bar W$$" ali
| 详细信息 | 推荐本文 | |
- 作者：Cheng Han ; Guojun Wang and Wenyan Xu
- 关键词：R0 ; algebra ; Truth value domain ; Partition ; K ; formula ; Nilpotent minimums
- 刊名：Soft Computing - A Fusion of Foundations ; Methodologies and Applications
- 出版时间：January 2006
- 出版年：2006
- 期刊代码：135_1432-7643
- 类别：en
- 卷：10
- 期：2
- 页码：115-118
- 数据来源：sp
摘要
This paper presents an exact expression of V(A) which is an unique formula A of formula set F(S) in revised Kleene system [`(W)].\bar W. It also obtains a 16-classification congruence partition about unary operation ¬, combing with generalized tautology theory, and discusses each ones closeness about MP and HS operations.