Old Web
English
Sign In
Acemap
>
Paper
>
TAUTOLOGY THEORY IN PROPOSITIONAL FUZZY LOGIC BASED ON LUKASIEWICZ IMPLICATION ALGEBRA ON [0,1]
TAUTOLOGY THEORY IN PROPOSITIONAL FUZZY LOGIC BASED ON LUKASIEWICZ IMPLICATION ALGEBRA ON [0,1]
2008
Xiaodong Pan
Kaijun Xu
Xiaobing Li
Jiajun Lai
Yang Xu
Keywords:
Zeroth-order logic
Propositional variable
Resolution (logic)
Fuzzy logic
Tautology (logic)
T-norm fuzzy logics
Algebra
Well-formed formula
Discrete mathematics
Algorithm
Mathematics
Intermediate logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]