1.
Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
2.
Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;
区间值模糊命题逻辑及其广义重言式
3.
Generalizded Quasi-Tautology of Interval-valued Fuzzy Propositional Logic System and Its Thuth Degree;
区间值模糊命题逻辑的广义拟重言式及其真度
4.
Generalized Tautology on Interval-ValuedFuzzy PropositionalLogic System;
区间值模糊命题逻辑系统的广义恒真式
5.
On the Basis of Logic Negation of Generalized Model Structural Word;
论广义模态结构词的逻辑否定及其依据
6.
Theory of Generalized Tautology on Lukasiewicz Many valued Logic System;
Lukasiewicz多值逻辑系统中的广义重言式理论
7.
Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System
Lukasiewicz区间值命题逻辑的广义重言式
8.
Generalized quasi-tautology of Gdel interval-valued logic system
Gdel区间值逻辑系统的广义拟重言式
9.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
10.
Alethic Model、Deontic Model and The Classic System Of Deontic Logic;
真性模态、道义模态和现代道义逻辑的经典系统
11.
the modal logic of obligation and permissibility.
讨论义务与权容的模态逻辑。
12.
Study on Lattice-valued Logic Based on Lattice Implication Algebra and Its Model Theory;
基于格蕴涵代数的格值逻辑及其模型论的研究
13.
Quantitative research of generalized tautologies in n-valued propositional logic L_n~*
n值逻辑系统L_n~*中广义重言式的计量化研究
14.
Automated Reasoning Algorithm Based on Sub-regular Generalized literals of Lattice-valued Propositional Logic L_(2n+1)P(X)
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
15.
Dynamic Neural Networks for a Kind of Lattice Valued Logic Formulae;
用于一类格值逻辑公式的动态神经网络
16.
Generalized semi-lock resolution in boolean operator fuzzy logic
布尔算子模糊逻辑中的广义半锁归结原理
17.
Studies on Operation Model and Reasoning of Object-orentied Ganeralied Saptial Logic;
面向对象的广义空间逻辑运算模型与推理研究
18.
Σ-generalized contradiction in the limited value disturbing fuzzy propositional logic;
有限扰动模糊命题逻辑系统的Σ-广义矛盾式