1.
Scheme of Stratification Syntax on Fuzzy Propositional Logic;
L-Fuzzy命题逻辑系统的语构分层方案
2.
Scheme of Stratification Semantic on Fuzzy Propositional Logic;
Fuzzy命题逻辑系统的语义分层方案
3.
Randomization of 3-valued Gdel Propositional Logic System
三值Gdel命题逻辑系统的随机化
4.
The Conditional Truth Degree of Formulas in Several 3-Valued Logic Systems
几个三值命题逻辑系统中命题的条件真度
5.
Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*
三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画
6.
Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system;
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论
7.
Σ-generalized contradiction in the limited value disturbing fuzzy propositional logic;
有限扰动模糊命题逻辑系统的Σ-广义矛盾式
8.
Resolution Method of Intuitionistic Operator Fuzzy Logic;
直觉算子模糊命题逻辑系统中的归结方法
9.
Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System;
区间值模糊命题逻辑系统的广义恒真式
10.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
11.
Theory of Syntatic Truth Degree in Two Value Propositional Logic System
二值命题逻辑系统中公式的语构真度理论
12.
Similarity Degree and Pseudo-distance of the Absolute Truth Degree of Formulas in G_n Propositional Logic System
G_n命题逻辑系统中绝对真度的理论研究
13.
Conditional probability truth degree of formulas in continuous value propositional logic system
连续值命题逻辑系统中公式的条件概率真度
14.
Comparison between the Propositional Modal Systems K, D, T, S4, S5 and B
模态命题逻辑系统K、D、T、S4、S5、B之比较
15.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
关于正规模态命题逻辑系统的完全性证明
16.
The Further Study of Formula's Truth Degree under n-value Proposition Logic System
n值命题逻辑系统中公式真度的进一步研究
17.
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
格值命题逻辑系统中基于滤子的MP归结演绎
18.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较