1.
extension principle of propositional logic
命题逻辑的外延性原理
2.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
3.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
4.
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*
三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画
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.
On the legal reasoning in legal logic--Connotion and denotation of legal reasoning;
论法律逻辑学中的法律推理——关于法律推理的内涵和外延问题
8.
On the Decidability of Paraconsistent Propositional Logics Cn;
弗协调命题逻辑C_n的判定性问题
9.
The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
10.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
11.
Basic Deductive Chain in Two-valued Propositional Logic F(S_n)
二值命题逻辑F(S_n)中的基本推理链
12.
The Conditional Truth Degree of Propositions in n-valued Lukasiewicz Logic
n值Lukasiewicz逻辑中命题的条件真度理论
13.
Type of conclusions and classification of theories in two-valued propositional logic
二值命题逻辑理论的结论类型和分类
14.
The Theory of Propositional Truth and Approximate Reasoning in Logic Systems Associated with a Nonlinear Ordering True Value Set
非线性序集逻辑系统中命题的真度理论及近似推理理论
15.
Approximate Reasoning in Quantitative Logic and the Theory of Conditional Truth Degree of Formulas in Classical Logic;
计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论
16.
in logic: a proposition that is accepted as true in order to provide a basis for logical reasoning.
逻辑学中：为了给逻辑推理提供基础，被认可为真实的命题。
17.
Interpretive Mechanism for Appetency or Illusory Proposition
亲和性机制或“虚假”命题——《新教伦理与资本主义精神》的逻辑缺憾
18.
A Study of Leibniz’s Philosophy of Logic from Concept, Definition and Proposition;
哲学的逻辑表达与逻辑的哲学分析——从概念、定义与命题理论看莱布尼兹的逻辑哲学观