Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BFb0022553 | Kurt Gödel Colloquium |
Keywords | Field | DocType |
resolution method,non-classical logics,non classical logic | T-norm fuzzy logics,Discrete mathematics,Substructural logic,Monoidal t-norm logic,Classical logic,Linear logic,Predicate logic,Higher-order logic,Intermediate logic,Mathematics | Conference |
ISBN | Citations | PageRank |
3-540-57184-1 | 0 | 0.34 |
References | Authors | |
1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |