Class information for:
Level 1: JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM

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
31908 1                   JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM 159

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JUSTIFICATION LOGIC authKW 6562681 22% 95% 35
2 LOGIC OF PROOFS authKW 5160794 17% 96% 27
3 REALIZATION THEOREM authKW 1605579 6% 90% 9
4 EXPLICIT MODAL LOGIC authKW 634302 3% 80% 4
5 CALCULATIONAL LOGIC authKW 594660 2% 100% 3
6 PROOF TERM authKW 594660 2% 100% 3
7 SINGLE CONCLUSION LOGIC OF PROOFS authKW 594660 2% 100% 3
8 MATH LOG THEORY ALGORITHMS address 445981 6% 25% 9
9 FIRST ORDER LOGIC OF PROOFS authKW 396440 1% 100% 2
10 PROVABILITY LOGIC authKW 342854 5% 22% 8

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 96406 54% 1% 86
2 Mathematics 3475 64% 0% 101
3 Computer Science, Theory & Methods 1240 25% 0% 39
4 Mathematics, Applied 927 31% 0% 49
5 Philosophy 884 12% 0% 19
6 History & Philosophy of Science 77 3% 0% 4
7 Multidisciplinary Sciences 45 3% 0% 5
8 Computer Science, Software Engineering 21 3% 0% 5
9 Computer Science, Hardware & Architecture 13 2% 0% 3
10 Computer Science, Artificial Intelligence 4 2% 0% 3

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATH LOG THEORY ALGORITHMS 445981 6% 25% 9
2 LOG LANGUAGE INFORMAT COMPUTAT ILLC 198220 1% 100% 1
3 MATH LOG ALGORITHM THEORY 198220 1% 100% 1
4 PROGRAM PHILISOPHY 198220 1% 100% 1
5 SECT MATH LOG 198220 1% 100% 1
6 LOG PROBLEMS COMP SCI 99109 1% 50% 1
7 INFORMAT ANGEW MATH 69269 4% 6% 6
8 PHD PROGRAM COMP SCI 55744 2% 9% 3
9 DOCTORAL PROGRAM COMP SCI 44045 1% 11% 2
10 EINDHOVEN EMBEDDED SYST 28315 1% 14% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ANNALS OF PURE AND APPLIED LOGIC 90648 19% 1% 31
2 JOURNAL OF LOGIC AND COMPUTATION 49767 10% 2% 16
3 JOURNAL OF SYMBOLIC LOGIC 24326 12% 1% 19
4 REVIEW OF SYMBOLIC LOGIC 5901 2% 1% 3
5 LOGIC JOURNAL OF THE IGPL 4886 3% 1% 4
6 THEORY OF COMPUTING SYSTEMS 4769 3% 0% 5
7 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 3584 2% 1% 3
8 MATHEMATICS OF THE USSR-IZVESTIYA 3562 2% 1% 3
9 BULLETIN OF SYMBOLIC LOGIC 3081 1% 1% 2
10 JOURNAL OF APPLIED LOGIC 3057 1% 1% 2

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 JUSTIFICATION LOGIC 6562681 22% 95% 35 Search JUSTIFICATION+LOGIC Search JUSTIFICATION+LOGIC
2 LOGIC OF PROOFS 5160794 17% 96% 27 Search LOGIC+OF+PROOFS Search LOGIC+OF+PROOFS
3 REALIZATION THEOREM 1605579 6% 90% 9 Search REALIZATION+THEOREM Search REALIZATION+THEOREM
4 EXPLICIT MODAL LOGIC 634302 3% 80% 4 Search EXPLICIT+MODAL+LOGIC Search EXPLICIT+MODAL+LOGIC
5 CALCULATIONAL LOGIC 594660 2% 100% 3 Search CALCULATIONAL+LOGIC Search CALCULATIONAL+LOGIC
6 PROOF TERM 594660 2% 100% 3 Search PROOF+TERM Search PROOF+TERM
7 SINGLE CONCLUSION LOGIC OF PROOFS 594660 2% 100% 3 Search SINGLE+CONCLUSION+LOGIC+OF+PROOFS Search SINGLE+CONCLUSION+LOGIC+OF+PROOFS
8 FIRST ORDER LOGIC OF PROOFS 396440 1% 100% 2 Search FIRST+ORDER+LOGIC+OF+PROOFS Search FIRST+ORDER+LOGIC+OF+PROOFS
9 PROVABILITY LOGIC 342854 5% 22% 8 Search PROVABILITY+LOGIC Search PROVABILITY+LOGIC
10 LOGIC OF BELIEF 264292 1% 67% 2 Search LOGIC+OF+BELIEF Search LOGIC+OF+BELIEF

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 27221 KNOWABILITY PARADOX//PARADOX OF KNOWABILITY//KNOWABILITY
2 16361 BELIEF REVISION//BELIEF CHANGE//DYNAMIC EPISTEMIC LOGIC
3 10330 ADMISSIBLE RULES//MODAL LOGIC//LOGIC
4 13794 PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY
5 31584 PHILOSOPHY OF INFORMATION//VERIDICALITY THESIS//INFRAETHICS
6 37267 KRIPKE MODELLING//SAFETY DRIVEN DESIGN//3D GRAPHIC SIMULATION
7 37794 TYPE ISOMORPHISM//EPISTEMIC ARITHMETIC//WELL FOUNDED RELATIONS
8 24320 PROOF THEORETIC SEMANTICS//NATURAL DEDUCTION//GENTZEN
9 32003 DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS
10 33699 KATEDRA LOGIKY METODOL VIED//FILOZOFIA//KATEDRA LOG METODOL VIED

Go to start page