1.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
2.
The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
3.
Automated Reasoning Algorithm Based on Sub-regular Generalized literals of Lattice-valued Propositional Logic L_(2n+1)P(X)
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
4.
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
格值命题逻辑系统中基于滤子的MP归结演绎
5.
Randomization of 3-valued Gdel Propositional Logic System
三值Gdel命题逻辑系统的随机化
6.
A conditional truth degree of formulas in n-valued propositional logic systems
一种n值逻辑系统中命题的条件真度
7.
The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3
三值Lukasiewicz逻辑系统L_3中命题的条件真度
8.
The Conditional Truth Degree of Formulas in Several 3-Valued Logic Systems
几个三值命题逻辑系统中命题的条件真度
9.
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*
三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画
10.
Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system;
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论
11.
Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System;
区间值模糊命题逻辑系统的广义恒真式
12.
Theory of Syntatic Truth Degree in Two Value Propositional Logic System
二值命题逻辑系统中公式的语构真度理论
13.
Conditional probability truth degree of formulas in continuous value propositional logic system
连续值命题逻辑系统中公式的条件概率真度
14.
The Further Study of Formula's Truth Degree under n-value Proposition Logic System
n值命题逻辑系统中公式真度的进一步研究
15.
The distribution of propositional truth degree in 5-valued logic systems associated with a nonlinear ordering true value set
五值非线性序集逻辑系统中命题真度的分布
16.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
17.
Scheme of Stratification Syntax on Fuzzy Propositional Logic;
L-Fuzzy命题逻辑系统的语构分层方案
18.
Scheme of Stratification Semantic on Fuzzy Propositional Logic;
Fuzzy命题逻辑系统的语义分层方案