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

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

10.1142/9789814417747_0115 ◽

2012 ◽

pp. 720-725 ◽

Author(s):

WEITAO XU ◽

DEXIAN ZHANG ◽

HUA ZHU ◽

YANG XU

Keyword(s):

Propositional Logic ◽

Resolution Method ◽

Linear Resolution ◽

Download Full-text

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

Decision Making and Soft Computing ◽

10.1142/9789814619998_0033 ◽

2014 ◽

Author(s):

HAIRUI JIA ◽

HUICONG HE ◽

YANG XU ◽

YI LIU

Keyword(s):

Propositional Logic ◽

Minimal Resolution ◽

Resolution Method ◽

Download Full-text

α-Generalized linear resolution method based on lattice-valued first-order logic system

2011 6th IEEE Joint International Information Technology and Artificial Intelligence Conference ◽

10.1109/itaic.2011.6030314 ◽

2011 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Linear Resolution ◽

Download Full-text

α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra

International Journal of Applied Management Science ◽

10.1504/ijams.2012.049930 ◽

2012 ◽

Vol 4 (4) ◽

pp. 460 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Resolution Method ◽

Lattice Implication Algebra ◽

Linear Resolution ◽

Implication Algebra ◽

Download Full-text

General Form of Alpha-Linear Resolution Method Based on Lattice-Valued First-Order Logic System

2012 Fifth International Symposium on Computational Intelligence and Design ◽

10.1109/iscid.2012.223 ◽

2012 ◽

Author(s):

Weitao Xu ◽

Wenqiang Zhang ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Linear Resolution ◽

Download Full-text

α-generalized linear resolution method based on lattice-valued propositional logic LP(X)

2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD) ◽

10.1109/fskd.2011.6019840 ◽

2011 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Propositional Logic ◽

Resolution Method ◽

Linear Resolution

Download Full-text

General form of α-ordered linear resolution method for lattice-valued logic system with linguistic truth-values

2016 International Conference on Fuzzy Theory and Its Applications (iFuzzy) ◽

10.1109/ifuzzy.2016.8004942 ◽

2016 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Resolution Method ◽

Truth Values ◽

Linear Resolution ◽

Download Full-text

α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system

2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) ◽

10.1109/iske.2017.8258781 ◽

2017 ◽

Author(s):

Weitao Xu

Keyword(s):

Propositional Logic ◽

Resolution Method ◽

Generalized Resolution ◽

Download Full-text

α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM

Decision Making and Soft Computing ◽

10.1142/9789814619998_0046 ◽

2014 ◽

Author(s):

Weitao Xu ◽

Wenqiang Zhang ◽

Dexian Zhang ◽

Yang Xu ◽

Xiaodong Pan

Keyword(s):

Propositional Logic ◽

Resolution Method ◽

Download Full-text

The theory of Δ truth degree in Gödel n -valued propositional logic system

2016 35th Chinese Control Conference (CCC) ◽

10.1109/chicc.2016.7553929 ◽

2016 ◽

Author(s):

Naidiao Zhu ◽

Xiaojing Hui ◽

Xiaoli Gao

Keyword(s):

Propositional Logic ◽

Logic System ◽

Download Full-text

Resolution Method in Linguistic Propositional Logic

International Journal of Advanced Computer Science and Applications ◽

10.14569/ijacsa.2016.070191 ◽

2016 ◽

Vol 7 (1) ◽

Author(s):

Thi-Minh-Tam Nguyen ◽

Duc-Khanh Tran

Keyword(s):

Propositional Logic ◽

Resolution Method

Download Full-text