Year | DOI | Venue |
---|---|---|
2005 | 10.1007/s00153-005-0285-z | Arch. Math. Log. |
Keywords | Field | DocType |
algebra,mathematics,propositional logic | Discrete mathematics,Autoepistemic logic,Pure mathematics,Zeroth-order logic,Cantor space,Resolution (logic),Well-formed formula,Dynamic logic (modal logic),Intermediate logic,Mathematics,Propositional variable | Journal |
Volume | Issue | ISSN |
44 | 6 | 1432-0665 |
Citations | PageRank | References |
6 | 1.12 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Ting Zhang | 2 | 61 | 5.93 |