Decision on Function of One Simple Separable Relation for the Minimal Covering of P^*_K

Abstract:

In the function structure theory of multi-logic, decision on Sheffer function is an important role. It contains structure and decision of full multi-logic and partial multi-logic. Its decision is closely related to decision of completeness of function which can be done by deciding the minimal covering of full multi-logic and partial-logic. By theory of completeness of partial multi-logic, we prove that function of one simple separable ralation is not minimal covering of P^*_K under the condition of m=2, σ=e .

• Periodical: Applied Mechanics and Materials (Volumes 496-500)
• Pages: 2303-2305
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.496-500.2303
• Online since: January 2014
• Authors: Yu Zhen Liu, Xing Bao Liu, Xin Fen Zhang
• Keywords: Maximal Closed Sets, Minimal Covering, Sheffer Function, Simple Separable Relation

References

[1] Zhukai, Luo, Research on theory and application of multi-logic (In Chinese), National University of Defense Technology, (2003).

[2] Liu R.R., The minimal covering of precomplete in partial four-valued logic, Proceedings of ICYCS'91, (1991).

[3] Liu R.R. Some results on the decision for Sheffer functions in partial K-valued logic, Multi. Val. Logic, 1996, 1: 253-269.

[4] Liu R. R., Some results on the decision for Sheffer functions in partial K-valued logic(II), Proceedings of IMVL'98, IEEE computer Society Press, (1998).

DOI: 10.1109/ismvl.1998.679296

[5] Liu R.R., Some results on the minimal coverings of precomplete classes in partial K-valued logic functions, Proceedings of 2003 IEEE International Conference on Systems, Man & Cybernetics, (2003).

DOI: 10.1109/icsmc.2003.1244283