Name
Title | ||
|---|---|---|
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X). |
Year | Venue | Keywords |
|---|---|---|
2014 | Int. J. Computational Intelligence Systems | automated reasoning |
Field | DocType | Volume |
Intuitionistic logic,Discrete mathematics,Zeroth-order logic,Resolution (logic),Linguistics,Well-formed formula,Propositional variable,Mathematics,Intermediate logic,Dynamic logic (modal logic),Propositional formula | Journal | 7 |
Issue | Citations | PageRank |
1 | 0 | 0.34 |
References | Authors | |
4 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jiafeng Zhang | 1 | 0 | 1.69 |
| Yang Xu | 2 | 711 | 83.57 |
| Xingxing He | 3 | 84 | 13.90 |