ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Relative Divergence Degree and Relative Consistency Degree of Theories in a Kind of Goguen Propositional Logic System
Quantitative Logic and Soft Computing 2016 - Advances in Intelligent Systems and Computing
◽
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
◽
Logic System
Download Full-text
Related Documents
Cited By
References
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
◽
Truth Degree
Download Full-text
THE APPROXIMATE REDUCTION IN MANY-VALUED PROPOSITIONAL LOGIC SYSTEM $L_n^{*\,*}$
Quantitative Logic and Soft Computing
◽
10.1142/9789814401531_0021
◽
2012
◽
Author(s):
PENG YU
Keyword(s):
Propositional Logic
◽
Logic System
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
◽
Cited By ~ 1
Author(s):
HAIRUI JIA
◽
HUICONG HE
◽
YANG XU
◽
YI LIU
Keyword(s):
Propositional Logic
◽
Minimal Resolution
◽
Resolution Method
◽
Logic System
Download Full-text
A New Theory of T Truth Degree on $${\text {G}}\ddot{\text {o}}{\text {del}}$$ G o ¨ del n-Valued Propositional Logic System
Quantitative Logic and Soft Computing 2016 - Advances in Intelligent Systems and Computing
◽
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
◽
Truth Degree
Download Full-text
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
◽
Logic System
Download Full-text
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
◽
Truth Degree
Download Full-text
Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application
Quantitative Logic and Soft Computing 2010 - Advances in Intelligent and Soft Computing
◽
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
◽
Truth Degree
Download Full-text
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
◽
Logic System
Download Full-text
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
◽
Cited By ~ 2
Author(s):
WEITAO XU
◽
DEXIAN ZHANG
◽
HUA ZHU
◽
YANG XU
Keyword(s):
Propositional Logic
◽
Resolution Method
◽
Linear Resolution
◽
Logic System
Download Full-text
T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System
Advances in Intelligent Systems and Computing - International Conference on Oriental Thinking and Fuzzy Logic
◽
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
◽
Truth Degree
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close