THE APPROXIMATE REDUCTION IN MANY-VALUED PROPOSITIONAL LOGIC SYSTEM $L_n^{*\,*}$

α-ORDERED LINEAR MINIMAL RESOLUTION METHOD IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM LP(X)

Decision Making and Soft Computing ◽

10.1142/9789814619998_0033 ◽

2014 ◽

Cited By ~ 1

Author(s):

HAIRUI JIA ◽

HUICONG HE ◽

YANG XU ◽

YI LIU

Keyword(s):

Propositional Logic ◽

Minimal Resolution ◽

Resolution Method ◽

Quantitative Logic and Soft Computing 2016 - Advances in Intelligent Systems and Computing ◽

A New Theory of T Truth Degree on $${\text {G}}\ddot{\text {o}}{\text {del}}$$ G o ¨ del n-Valued Propositional Logic System

10.1007/978-3-319-46206-6_7 ◽

2016 ◽

pp. 59-70

Author(s):

Nai-Diao Zhu ◽

Xiao-Jing Hui ◽

Xiao-Li Gao

Keyword(s):

Propositional Logic ◽

Logic System ◽

A lattice-valued modal propositional logic system LMP(X)

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1176376 ◽

2003 ◽

Author(s):

Wenjiang Li ◽

Yang Xu ◽

Jun Ma ◽

Jun Liu

Keyword(s):

Propositional Logic ◽

Modal Propositional Logic ◽

The theory of truth degree on vector representation of formula in n-valued Łukasiewicz propositional logic system

2016 35th Chinese Control Conference (CCC) ◽

10.1109/chicc.2016.7553930 ◽

2016 ◽

Author(s):

Xiaoli Gao ◽

Xiaojing Hui ◽

Naidiao Zhu

Keyword(s):

Propositional Logic ◽

Vector Representation ◽

Logic System ◽

Quantitative Logic and Soft Computing 2010 - Advances in Intelligent and Soft Computing ◽

Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application

10.1007/978-3-642-15660-1_26 ◽

2010 ◽

pp. 285-296

Author(s):

Xiang-ni Gao ◽

Guo-jun Wang

Keyword(s):

Propositional Logic ◽

Logic System ◽

Quantitative Logic and Soft Computing 2016 - Advances in Intelligent Systems and Computing ◽

Relative Divergence Degree and Relative Consistency Degree of Theories in a Kind of Goguen Propositional Logic System

10.1007/978-3-319-46206-6_10 ◽

2016 ◽

pp. 89-100

Author(s):

Xiao-Li Gao ◽

Xiao-Jing Hui ◽

Nai-Diao Zhu

Keyword(s):

Propositional Logic ◽

Relative Consistency ◽

Relative Divergence ◽

Fuzzy Propositional Logic System and Its λ-Resolution

Intelligent Computing Methodologies - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09339-0_21 ◽

2014 ◽

pp. 212-219

Author(s):

Jiexin Zhao ◽

Zhenghua Pan

Keyword(s):

Propositional Logic ◽

Uncertainty Modeling in Knowledge Engineering and Decision Making - World Scientific Proceedings Series on Computer Engineering and Information Science ◽

GENERAL FORM OF α-LINEAR RESOLUTION METHOD BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM LP(X)

10.1142/9789814417747_0115 ◽

2012 ◽

pp. 720-725 ◽

Cited By ~ 2

Author(s):

WEITAO XU ◽

DEXIAN ZHANG ◽

HUA ZHU ◽

YANG XU

Keyword(s):

Propositional Logic ◽

Resolution Method ◽

Linear Resolution ◽

Advances in Intelligent Systems and Computing - International Conference on Oriental Thinking and Fuzzy Logic ◽

T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System

10.1007/978-3-319-30874-6_20 ◽

2016 ◽

pp. 207-213

Author(s):

He Jin-Rui ◽

Hui Xiao-Jing ◽

Shuang Jing-Ning

Keyword(s):

Propositional Logic ◽

Degree Theory ◽

Absolute Truth ◽

Logic System ◽