1.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
2.
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
格值命题逻辑系统中基于滤子的MP归结演绎
3.
The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
4.
Fact Proposition, Value Proposition, Norm Proposition and Their Logic
事实命题、价值命题、规范命题及其逻辑
5.
Theory of Truth Degree in Lukasiewicz 3-valued Propositional Loggic;
Lukasiewicz三值命题逻辑中命题的真度理论
6.
Theory of Truth Degrees in Lukasiewicz n-Valued Propositional Logic;
Lukasiewicz n值命题逻辑中命题的真度理论
7.
Maximal Proposional Sets and Complete Proposional Sets in the Classical Proposional Logical Systems
二值命题逻辑中的极大命题集与完备命题集
8.
Probability Truth Degree of Multi-valued Propositional Logic and Intuitionistic Fuzzy Propositional Logic System;
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
9.
Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;
区间值模糊命题逻辑及其广义重言式
10.
On Probability Truth Degree of Propositions in Two-valued Logic;
二值命题逻辑中公式的一种概率真度
11.
Basic Deductive Chain in Two-valued Propositional Logic F(S_n)
二值命题逻辑F(S_n)中的基本推理链
12.
Randomization of 3-valued Gdel Propositional Logic System
三值Gdel命题逻辑系统的随机化
13.
A conditional truth degree of formulas in n-valued propositional logic systems
一种n值逻辑系统中命题的条件真度
14.
Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System
Lukasiewicz区间值命题逻辑的广义重言式
15.
The Conditional Truth Degree of Propositions in n-valued Lukasiewicz Logic
n值Lukasiewicz逻辑中命题的条件真度理论
16.
The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3
三值Lukasiewicz逻辑系统L_3中命题的条件真度
17.
Type of conclusions and classification of theories in two-valued propositional logic
二值命题逻辑理论的结论类型和分类
18.
The Conditional Truth Degree of Formulas in Several 3-Valued Logic Systems
几个三值命题逻辑系统中命题的条件真度