Class information for: |
Basic class information |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
| Cluster id | Level | Cluster label | #P |
|---|---|---|---|
| 12 | 4 | COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | 1181119 |
| 149 | 3 | COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING | 65076 |
| 1846 | 2 | MV ALGEBRA//LOGIC//EFFECT ALGEBRA | 6458 |
| 24320 | 1 | PROOF THEORETIC SEMANTICS//NATURAL DEDUCTION//GENTZEN | 339 |
Terms with highest relevance score |
| rank | Category | termType | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|---|
| 1 | PROOF THEORETIC SEMANTICS | authKW | 2351218 | 8% | 90% | 28 |
| 2 | NATURAL DEDUCTION | authKW | 717271 | 9% | 27% | 29 |
| 3 | GENTZEN | authKW | 418359 | 2% | 75% | 6 |
| 4 | PREDICATIVE POLYMORPHISM | authKW | 332030 | 1% | 71% | 5 |
| 5 | LOGICAL INFERENTIALISM | authKW | 278908 | 1% | 100% | 3 |
| 6 | PEIRCES RULE | authKW | 278908 | 1% | 100% | 3 |
| 7 | INFERENTIALISM | authKW | 257435 | 4% | 23% | 12 |
| 8 | SEQUENT CALCULUS | authKW | 215107 | 6% | 12% | 19 |
| 9 | TONK | authKW | 209179 | 1% | 75% | 3 |
| 10 | WILHELM ICKARD | address | 193076 | 3% | 23% | 9 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Logic | 93924 | 37% | 1% | 124 |
| 2 | Philosophy | 48479 | 60% | 0% | 202 |
| 3 | History & Philosophy of Science | 5140 | 14% | 0% | 46 |
| 4 | Mathematics | 2047 | 34% | 0% | 116 |
| 5 | Mathematics, Applied | 259 | 12% | 0% | 41 |
| 6 | Language & Linguistics | 189 | 4% | 0% | 12 |
| 7 | Computer Science, Theory & Methods | 155 | 6% | 0% | 22 |
| 8 | Linguistics | 48 | 2% | 0% | 7 |
| 9 | Computer Science, Artificial Intelligence | 26 | 3% | 0% | 10 |
| 10 | Literary Theory & Criticism | 10 | 0% | 0% | 1 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | WILHELM ICKARD | 193076 | 3% | 23% | 9 |
| 2 | FR PHILOSOPHIE 5 1 | 185939 | 1% | 100% | 2 |
| 3 | CHAIR LOG PHILOSOPHY LANGUAGE | 123958 | 1% | 67% | 2 |
| 4 | ARCHIVES ETUD RECH HENRI POINCARE | 92969 | 0% | 100% | 1 |
| 5 | CNRSUMR 8163 | 92969 | 0% | 100% | 1 |
| 6 | COGNIT LINGUST | 92969 | 0% | 100% | 1 |
| 7 | COMPUTAT BIOL GRP LINA UMR6241 | 92969 | 0% | 100% | 1 |
| 8 | EXZELLENZCLUSTER ASIA EUROPE | 92969 | 0% | 100% | 1 |
| 9 | FB 13 INFORMAT | 92969 | 0% | 100% | 1 |
| 10 | LEHRSTUHL KUNSTL INTELLIGENZ | 92969 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | REVIEW OF SYMBOLIC LOGIC | 148956 | 6% | 7% | 22 |
| 2 | JOURNAL OF PHILOSOPHICAL LOGIC | 103983 | 9% | 3% | 32 |
| 3 | STUDIA LOGICA | 47926 | 4% | 4% | 14 |
| 4 | PHILOSOPHIA MATHEMATICA | 24418 | 2% | 4% | 6 |
| 5 | SYNTHESE | 22433 | 9% | 1% | 30 |
| 6 | HISTORY AND PHILOSOPHY OF LOGIC | 19493 | 2% | 3% | 8 |
| 7 | BULLETIN OF SYMBOLIC LOGIC | 17712 | 2% | 3% | 7 |
| 8 | ARCHIVE FOR MATHEMATICAL LOGIC | 13526 | 4% | 1% | 12 |
| 9 | TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY | 13217 | 3% | 2% | 9 |
| 10 | JOURNAL OF LOGIC LANGUAGE AND INFORMATION | 10861 | 1% | 4% | 3 |
Author Key Words |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass | LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | PROOF THEORETIC SEMANTICS | 2351218 | 8% | 90% | 28 | Search PROOF+THEORETIC+SEMANTICS | Search PROOF+THEORETIC+SEMANTICS |
| 2 | NATURAL DEDUCTION | 717271 | 9% | 27% | 29 | Search NATURAL+DEDUCTION | Search NATURAL+DEDUCTION |
| 3 | GENTZEN | 418359 | 2% | 75% | 6 | Search GENTZEN | Search GENTZEN |
| 4 | PREDICATIVE POLYMORPHISM | 332030 | 1% | 71% | 5 | Search PREDICATIVE+POLYMORPHISM | Search PREDICATIVE+POLYMORPHISM |
| 5 | LOGICAL INFERENTIALISM | 278908 | 1% | 100% | 3 | Search LOGICAL+INFERENTIALISM | Search LOGICAL+INFERENTIALISM |
| 6 | PEIRCES RULE | 278908 | 1% | 100% | 3 | Search PEIRCES+RULE | Search PEIRCES+RULE |
| 7 | INFERENTIALISM | 257435 | 4% | 23% | 12 | Search INFERENTIALISM | Search INFERENTIALISM |
| 8 | SEQUENT CALCULUS | 215107 | 6% | 12% | 19 | Search SEQUENT+CALCULUS | Search SEQUENT+CALCULUS |
| 9 | TONK | 209179 | 1% | 75% | 3 | Search TONK | Search TONK |
| 10 | DEFINITIONAL REFLECTION | 185939 | 1% | 100% | 2 | Search DEFINITIONAL+REFLECTION | Search DEFINITIONAL+REFLECTION |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
Classes with closest relation at Level 1 |