Paper Title:
The Determination on Minimal Covering of Regular Separable Function Sets in Partial Four-Valued Logic
  Abstract

In the structure theory of many-valued logic function, the decision and constitution of the Sheffer function is a very important problem, which is reduced to the decision of the minimal covering of precomplete sets in the many-valued logic function sets. According to the completeness theory in partial k-valued logic and the similar relationship theory among precomplete sets, in this paper, the methods of determination on the minimal covering of regular separable function sets are found out, and the minimal covering of regular separable function sets in partial four-valued logic are decided.

  Info
Periodical
Advanced Materials Research (Volumes 143-144)
Edited by
H. Wang, B.J. Zhang, X.Z. Liu, D.Z. Luo, S.B. Zhong
Pages
1285-1289
DOI
10.4028/www.scientific.net/AMR.143-144.1285
Citation
X. Q. Zhou, "The Determination on Minimal Covering of Regular Separable Function Sets in Partial Four-Valued Logic", Advanced Materials Research, Vols. 143-144, pp. 1285-1289, 2011
Online since
October 2010
Authors
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Jian Lin Qiu, Fen Li, Dan Ji, Jian Ping Chen, Peng He
Abstract:Logic minimization software is an important tool in digital integrate circuit design environment. The optimization of Multi-Valued Logic...
250
Authors: Jian Lin Qiu, Fen Li, Xiang Gu, Li Chen, Yan Yun Chen
Chapter 8: System Modeling and Simulation
Abstract:We make an approach to the logic optimization algorithm including converting multi-valued logic into two-valued logic and converting...
4330
Authors: Li Feng, Shu Juan Yuan, Jing Wang, Li Nan Shi
Chapter 16: Communication, Computer and Information Technologies
Abstract:Combined set pair analysis and knowledge granularity theory, the author puts forward set pair granularity space, and extended rough logic of...
2274
Authors: Cun Gen Cao, Yue Fei Sui, Shao Bo Deng
Chapter 4: Applied Mathematics, Computational Methods and Algorithms, Data, Image and Signal Processing, Identification
Abstract:A modalized propositional Belnap-Dunn logic will be proposed in this paper which thereare four modalities [t]; [T]; [⊥]; [f] to represent the...
343