1.
The Decision for Sheffer Functions in Partial Multiple-valued Logic;
部分多值逻辑中Sheffer函数的判定
2.
The Decision on the Minimal Covering of Precomplete Classes in Partial Multiple-valued Logic;
部分多值逻辑中极大封闭集之最小覆盖的判定
3.
The Decision on the Minimal Covering of Function Sets Preserving 3-ary Full Symmetric Relation in Partial Multiple-Valued Logic;
部分多值逻辑中保三元完满对称关系函数集之最小覆盖的判定
4.
The Decision on the Minimal Covering of Regular Separable Sets in Partial Multiple-Valued Logic;
部分多值逻辑中正则可离函数集最小覆盖之判定
5.
The Decision Problem on Sheffer Functions in Partial K-Valued Logic;
部分K值逻辑中Sheffer函数的判定问题
6.
Determinant algorithm of Sheffer function in partial three-valued logic
部分三值逻辑中Sheffer函数的判定算法
7.
Software Requirements Inconsistency Research on Multi-Valued Logic Based State Machine;
基于多值逻辑状态机的需求分歧研究
8.
Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;
多值逻辑与审美逻辑——论审美认知的逻辑基础
9.
Multi-Valued Logic and Logical Intuitions--Do People Go into a Dilemma?;
多值逻辑与逻辑直觉——人们陷入了两难?
10.
The Conformational and Determinant Algorithm of the Sheffer Function in Partial Two and Three-Valued Logic
部分二、三值逻辑中Sheffer函数的构造及判定算法
11.
Lukasiewicz s Many-valued Logic and Comparisons between It and Some Logics;
卢卡西维茨多值逻辑及其与一些逻辑的比较
12.
As a result, all the parts of a logical expression might not be evaluated.
因此，一个逻辑表达式的所有部分都有可能不进行求值。
13.
The Decision on the Minimal Covering of Function Sets Preserving Ternary and Quaternary Simply Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保三、四元单纯可离关系函数集最小覆盖之确定
14.
The Decision on the Minimal Covering of Function Sets Preserving Ternary and Quaternary Regularly Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定
15.
The Decision on the Minimal Covering of Function Sets Preserving Fully Symmetric Relation in Partial 4-Valued Logic;
部分四值逻辑中保完满对称关系函数集之最小覆盖的判定
16.
The Decision on the Minimal Covering of Function Sets Preserving Binary Regularly Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保二元正则可离关系函数集最小覆盖之判定
17.
The Decision on the Minimal Covering of Function Sets Preserving Binary Simply Separable Relation in Partial Four-Valued Logic;
部分四值逻辑中保二元单纯可离关系函数集之最小覆盖的判定
18.
Properties of Multioutput m-valued Logical Functions;
多输出m值逻辑函数若干性质的研究