Class information for:
Level 1: DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS

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
31 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 113161
2109 2             NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//BELIEF REVISION 5490
32003 1                   DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS 158

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 DEPENDENCE LOGIC authKW 4847223 17% 90% 27
2 INDEPENDENCE FRIENDLY LOGIC authKW 2620361 11% 77% 17
3 TEAM SEMANTICS authKW 2051734 8% 86% 12
4 INDEPENDENCE LOGIC authKW 797898 3% 100% 4
5 PARTIALLY ORDERED CONNECTIVES authKW 797898 3% 100% 4
6 HENKIN QUANTIFIERS authKW 652820 4% 55% 6
7 IMPLICATIONAL CALCULUS authKW 598423 2% 100% 3
8 MATH THEORY INTELLIGENT SYST address 598423 2% 100% 3
9 NONDEDUCIBILITY authKW 598423 2% 100% 3
10 IF LOGIC authKW 455938 3% 57% 4

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 66101 45% 0% 71
2 Philosophy 11065 42% 0% 66
3 History & Philosophy of Science 2524 14% 0% 22
4 Mathematics 1272 39% 0% 62
5 Language & Linguistics 1223 13% 0% 20
6 Linguistics 746 11% 0% 17
7 Computer Science, Theory & Methods 496 16% 0% 25
8 Mathematics, Applied 486 23% 0% 36
9 Literature 25 2% 0% 3
10 Computer Science, Hardware & Architecture 25 3% 0% 4

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATH THEORY INTELLIGENT SYST 598423 2% 100% 3
2 CHANGJIANG PROF PROGRAM 199474 1% 100% 1
3 CNRS UNIT SAVOIRS TEXTES LANGAGE 199474 1% 100% 1
4 GEESTWETEN PEN 199474 1% 100% 1
5 LEERSTOELGRP TAALFILOSOFIE 199474 1% 100% 1
6 MATHEMAT JUSSIEUEQUIPE LOG 199474 1% 100% 1
7 DYNAM INTELLIGENT SYST 99736 1% 50% 1
8 INSITUTE LOG LANGUAGE COMPUTAT 99736 1% 50% 1
9 MACHINELLE SPRACHVERARBEITUNG 99736 1% 50% 1
10 NAT WETEN PEN WISKUNDE INFORMAT 99734 1% 25% 2

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 STUDIA LOGICA 75567 8% 3% 12
2 JOURNAL OF LOGIC LANGUAGE AND INFORMATION 41442 3% 5% 4
3 LINGUISTICS AND PHILOSOPHY 24426 6% 1% 9
4 SYNTHESE 21409 13% 1% 20
5 ANNALS OF PURE AND APPLIED LOGIC 18590 9% 1% 14
6 JOURNAL OF PHILOSOPHICAL LOGIC 17641 6% 1% 9
7 REVIEW OF SYMBOLIC LOGIC 16503 3% 2% 5
8 LOGIC JOURNAL OF THE IGPL 15070 4% 1% 7
9 JOURNAL OF LOGIC AND COMPUTATION 9578 4% 1% 7
10 BULLETIN OF SYMBOLIC LOGIC 6980 2% 1% 3

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 DEPENDENCE LOGIC 4847223 17% 90% 27 Search DEPENDENCE+LOGIC Search DEPENDENCE+LOGIC
2 INDEPENDENCE FRIENDLY LOGIC 2620361 11% 77% 17 Search INDEPENDENCE+FRIENDLY+LOGIC Search INDEPENDENCE+FRIENDLY+LOGIC
3 TEAM SEMANTICS 2051734 8% 86% 12 Search TEAM+SEMANTICS Search TEAM+SEMANTICS
4 INDEPENDENCE LOGIC 797898 3% 100% 4 Search INDEPENDENCE+LOGIC Search INDEPENDENCE+LOGIC
5 PARTIALLY ORDERED CONNECTIVES 797898 3% 100% 4 Search PARTIALLY+ORDERED+CONNECTIVES Search PARTIALLY+ORDERED+CONNECTIVES
6 HENKIN QUANTIFIERS 652820 4% 55% 6 Search HENKIN+QUANTIFIERS Search HENKIN+QUANTIFIERS
7 IMPLICATIONAL CALCULUS 598423 2% 100% 3 Search IMPLICATIONAL+CALCULUS Search IMPLICATIONAL+CALCULUS
8 NONDEDUCIBILITY 598423 2% 100% 3 Search NONDEDUCIBILITY Search NONDEDUCIBILITY
9 IF LOGIC 455938 3% 57% 4 Search IF+LOGIC Search IF+LOGIC
10 TAG SYSTEM 448816 2% 75% 3 Search TAG+SYSTEM Search TAG+SYSTEM

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 38636 AI MACHINE//ALIGNING WORDNETS//ARGUMENTS CROSSING
2 15283 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
3 33969 BOOLEAN GAMES//CETERIS PARIBUS PREFERENCES//MODAL LOGIC OF SUBSET SPACES
4 7322 PHILOSOPHIA MATHEMATICA//HISTORY AND PHILOSOPHY OF LOGIC//PHILOSOPHY
5 27043 LINGUISTICS AND PHILOSOPHY//IDENTITY CONNECTIVE//REFERENTIAL NPS
6 31736 CIRCUIT DESIGN FAULT TOLERANCE//COMPOSITE IDIOM//DESIGN LOGIC
7 31908 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
8 15425 SCALAR IMPLICATURE//JOURNAL OF SEMANTICS//NATURAL LANGUAGE SEMANTICS
9 16361 BELIEF REVISION//BELIEF CHANGE//DYNAMIC EPISTEMIC LOGIC
10 10156 CONTEXTUALISM//SLURS//DEFINITE DESCRIPTIONS

Go to start page