Class information for:
Level 1: ADMISSIBLE RULES//MODAL LOGIC//LOGIC

Basic class information
Bar chart of Publication_year

Last years might be incomplete

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
10330 1                   ADMISSIBLE RULES//MODAL LOGIC//LOGIC 1103

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ADMISSIBLE RULES authKW 1309463 5% 88% 52
2 MODAL LOGIC authKW 761697 13% 19% 140
3 LOGIC WoSSC 713039 56% 4% 616
4 CANONICAL EXTENSION authKW 497769 3% 62% 28
5 HEYTING ALGEBRA authKW 409477 4% 33% 43
6 TOPOLOGICAL SEMANTICS authKW 375326 2% 77% 17
7 INTUITIONISTIC LOGIC authKW 369656 5% 25% 51
8 STUDIA LOGICA journal 368316 6% 18% 70
9 LOGIC JOURNAL OF THE IGPL journal 356997 8% 14% 90
10 INTERMEDIATE LOGICS authKW 279985 2% 47% 21

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 713039 56% 4% 616
2 Mathematics 25059 65% 0% 714
3 Philosophy 16749 20% 0% 216
4 Computer Science, Theory & Methods 3910 17% 0% 185
5 Mathematics, Applied 3411 23% 0% 252
6 Computer Science, Artificial Intelligence 1020 9% 0% 94
7 History & Philosophy of Science 122 1% 0% 14
8 Computer Science, Software Engineering 31 2% 0% 19
9 Multidisciplinary Sciences 11 1% 0% 9
10 Humanities, Multidisciplinary 4 0% 0% 4

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LOG LANGUAGE COMPUTAT 91785 3% 11% 30
2 CLC 89001 1% 35% 9
3 COMP MATH DT 85716 0% 100% 3
4 PHILOSOPHY 2 75140 1% 24% 11
5 COMP MATH IT 57144 0% 100% 2
6 SQIG IT 51427 0% 60% 3
7 LOG HIST FILOSOFIA CIENCIA 50276 1% 14% 13
8 GRP LOG LANGUAGE INFORMAT 42855 0% 50% 3
9 MATEMAT LICADA LITORAL FIQ 42855 0% 50% 3
10 PROJET ATOLL 38095 0% 67% 2

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 STUDIA LOGICA 368316 6% 18% 70
2 LOGIC JOURNAL OF THE IGPL 356997 8% 14% 90
3 REPORTS ON MATHEMATICAL LOGIC 179486 2% 37% 17
4 JOURNAL OF LOGIC AND COMPUTATION 179305 7% 8% 80
5 JOURNAL OF PHILOSOPHICAL LOGIC 116080 6% 7% 61
6 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 96564 4% 8% 41
7 JOURNAL OF SYMBOLIC LOGIC 76886 8% 3% 89
8 REVIEW OF SYMBOLIC LOGIC 74123 3% 9% 28
9 ANNALS OF PURE AND APPLIED LOGIC 70393 7% 3% 72
10 MATHEMATICAL LOGIC QUARTERLY 62405 5% 4% 51

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 ADMISSIBLE RULES 1309463 5% 88% 52 Search ADMISSIBLE+RULES Search ADMISSIBLE+RULES
2 MODAL LOGIC 761697 13% 19% 140 Search MODAL+LOGIC Search MODAL+LOGIC
3 CANONICAL EXTENSION 497769 3% 62% 28 Search CANONICAL+EXTENSION Search CANONICAL+EXTENSION
4 HEYTING ALGEBRA 409477 4% 33% 43 Search HEYTING+ALGEBRA Search HEYTING+ALGEBRA
5 TOPOLOGICAL SEMANTICS 375326 2% 77% 17 Search TOPOLOGICAL+SEMANTICS Search TOPOLOGICAL+SEMANTICS
6 INTUITIONISTIC LOGIC 369656 5% 25% 51 Search INTUITIONISTIC+LOGIC Search INTUITIONISTIC+LOGIC
7 INTERMEDIATE LOGICS 279985 2% 47% 21 Search INTERMEDIATE+LOGICS Search INTERMEDIATE+LOGICS
8 STRUCTURAL COMPLETENESS 265937 1% 85% 11 Search STRUCTURAL+COMPLETENESS Search STRUCTURAL+COMPLETENESS
9 HILBERT ALGEBRAS 238098 1% 83% 10 Search HILBERT+ALGEBRAS Search HILBERT+ALGEBRAS
10 ABSTRACT ALGEBRAIC LOGIC 207363 1% 48% 15 Search ABSTRACT+ALGEBRAIC+LOGIC Search ABSTRACT+ALGEBRAIC+LOGIC

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


rank cluster_id2 link
1 31908 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
2 6112 MV ALGEBRA//BL ALGEBRA//RESIDUATED LATTICE
3 24320 PROOF THEORETIC SEMANTICS//NATURAL DEDUCTION//GENTZEN
4 26389 CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC//NEAT REDUCTS
5 36794 LAMBEK CALCULUS//PREGROUP GRAMMARS//CATEGORIAL GRAMMARS
6 26329 OCKHAM ALGEBRA//KERNEL IDEAL//BOOLEAN FACTOR CONGRUENCES
7 9564 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//SPARQL
8 22304 FUZZY LOGIC PROGRAMMING//LATTICE VALUED LOGIC//LATTICE IMPLICATION ALGEBRA
9 11264 JOURNAL OF PHILOSOPHICAL LOGIC//ADAPTIVE LOGICS//LIAR PARADOX
10 25041 PRECOMPLETE CLONES//CLONE LATTICE//UNIVERSAL CATEGORY

Go to start page