Algebraic structure analyses of balanced correlation - immune m - valued logical functions over ring zpr 上平衡相关免疫多值逻辑函数的代数结构分析
The main work of this thesis is decision on minimal covering of precomplete classes in partial multiple - valued logic 本文研究的是部分多值逻辑中极大封闭集之最小覆盖的判定问题。
Multiple - valued logic can solve many problems easily while two - valued logic has too many difficulties to solve them , so multiple - valued logic has a bright future 多值逻辑可以更好地解决用二值逻辑不易解决的问题，因此有着广阔的发展前景。
Non - classical logic is the theoretical basis of many - valued logic , fuzzy reasoning and fuzzy control . fuzzy logic is the most active branch of non - classical logic 非经典逻辑是多值逻辑、模糊推理及模糊控制等的理论基础，模糊逻辑是非经典逻辑中极具活力的一个分支。
The research of multiple - valued logic includes many aspects . two of its most important parts are completeness theory of function sets , decision and construction for sheffer functions 多值逻辑的研究内容有很多，函数系的完备性判定、 sheffer函数的构造与判定是其中的重要组成部分。
Another important problem in multiple - valued logic completeness theory is decision for sheffer functions , which reduced to determining the minimal covering of precomplete classes in multiple - valued logic 多值逻辑完备性理论中的另一重要问题是sheffer函数的判定问题，此问题可归结为定出所有极大封闭集(准完备集)的最小覆盖。
Concept of knowledge in post modern times is the logic of humanistic thinking and conforms to uncertainty principle in quantum mechanics , " multi - value logic " in logistics and orientation in scientific hermeneutics 后现代知识观是一种人文思维的逻辑，它与量子力学的测不准原理、逻辑学中的“多值逻辑”以及科学解释理论中的转向有其一致性。
It was well known that rq t - norm which rq implication operator residuated to was left - continuous . in fact , any left - continuous t - norm has its own residuum - implication operator . and many - valued system could be obtained from implication operator 事实上，任一左连续t -模都可确定一个与之伴随的蕴涵算子，并且，不同的蕴涵算子就可以构建不同的多值逻辑系统。
According to the completeness theory of partial multi - valued logic , 4 - nry simply separable relations in partial four - valued logic are determined and categorized by means of the concept of the similar relations among the precomplete classes 摘要根据部分多值逻辑的完备性理论，定出部分四值逻辑中4元单纯可离关系，再按照准完备集之间的相似关系概念，对所定出的关系进行分类。
In this paper , we focus on the simple seperable function sets ( m = 2 ) . in chapter 1 , the basic concepts and important achievements of multiple - valued logic are summarized systematically . some recently research on multiple - valued logic are also introduced 在第一章中，我们系统地阐述了多值逻辑的基本概念，并总结了国内外学者在多值逻辑研究领域已取得的重要成果及当前的研究动态。
