Class information for:
Level 1: PROOF THEORETIC SEMANTICS//RELEVANT LOGIC//JOURNAL OF PHILOSOPHICAL LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
12559 897 22.7 20%


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
1 4 ECONOMICS//EDUCATION & EDUCATIONAL RESEARCH//PSYCHOL 3876184
175 3       PHILOSOPHY//PHILOSOPHICAL STUDIES//SYNTHESE 58071
1117 2             PHILOSOPHY//ANALYSIS//JOURNAL OF PHILOSOPHICAL LOGIC 9695
12559 1                   PROOF THEORETIC SEMANTICS//RELEVANT LOGIC//JOURNAL OF PHILOSOPHICAL LOGIC 897

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 PROOF THEORETIC SEMANTICS authKW 920256 3% 97% 28
2 RELEVANT LOGIC authKW 632477 3% 77% 24
3 JOURNAL OF PHILOSOPHICAL LOGIC journal 602260 14% 14% 126
4 ADAPTIVE LOGICS authKW 574987 3% 68% 25
5 PARACONSISTENT LOGIC authKW 458190 4% 38% 35
6 CURRYS PARADOX authKW 410912 1% 93% 13
7 RELEVANCE LOGIC authKW 334196 2% 55% 18
8 REVIEW OF SYMBOLIC LOGIC journal 317259 6% 18% 51
9 STUDIA LOGICA journal 288343 6% 15% 55
10 ROUTLEY MEYER SEMANTICS authKW 275724 1% 90% 9

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Logic 229735 35% 2% 315
2 Philosophy 174025 69% 1% 619
3 History & Philosophy of Science 10345 12% 0% 106
4 Mathematics 3991 30% 0% 265
5 Mathematics, Applied 708 12% 0% 110
6 Computer Science, Theory & Methods 469 7% 0% 62
7 Computer Science, Artificial Intelligence 220 5% 0% 42
8 Language & Linguistics 164 2% 0% 19
9 Medieval & Renaissance Studies 61 1% 0% 5
10 Linguistics 30 1% 0% 10

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 DPTO PSICOL SOCIOL FILOSOFIA 204241 1% 100% 6
2 LOG PHILOSOPHY SCI 122619 4% 9% 39
3 PHILOSOPHY 2 91986 1% 27% 10
4 WILHELM ICKARD 89565 1% 26% 10
5 LOG EPISTEMOL HIST SCI CLE 85095 1% 50% 5
6 NORTHERN PHILOSOPHY 77795 1% 29% 8
7 TILBURG LOG ETH PHILOSOPHY SCI TILPS 76589 0% 75% 3
8 ETUD COGNIT ENS 68080 0% 100% 2
9 FR PHILOSOPHIE 5 1 68080 0% 100% 2
10 LOGIC COGNIT SCI 68080 0% 100% 2

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 JOURNAL OF PHILOSOPHICAL LOGIC 602260 14% 14% 126
2 REVIEW OF SYMBOLIC LOGIC 317259 6% 18% 51
3 STUDIA LOGICA 288343 6% 15% 55
4 LOGIQUE ET ANALYSE 151613 3% 15% 30
5 LOGIC JOURNAL OF THE IGPL 63610 4% 6% 34
6 HISTORY AND PHILOSOPHY OF LOGIC 50505 2% 7% 21
7 SYNTHESE 42504 7% 2% 67
8 JOURNAL OF LOGIC AND COMPUTATION 41096 4% 4% 34
9 REPORTS ON MATHEMATICAL LOGIC 37054 1% 16% 7
10 MIND 32022 3% 3% 30

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 PROOF THEORETIC SEMANTICS 920256 3% 97% 28 Search PROOF+THEORETIC+SEMANTICS Search PROOF+THEORETIC+SEMANTICS
2 RELEVANT LOGIC 632477 3% 77% 24 Search RELEVANT+LOGIC Search RELEVANT+LOGIC
3 ADAPTIVE LOGICS 574987 3% 68% 25 Search ADAPTIVE+LOGICS Search ADAPTIVE+LOGICS
4 PARACONSISTENT LOGIC 458190 4% 38% 35 Search PARACONSISTENT+LOGIC Search PARACONSISTENT+LOGIC
5 CURRYS PARADOX 410912 1% 93% 13 Search CURRYS+PARADOX Search CURRYS+PARADOX
6 RELEVANCE LOGIC 334196 2% 55% 18 Search RELEVANCE+LOGIC Search RELEVANCE+LOGIC
7 ROUTLEY MEYER SEMANTICS 275724 1% 90% 9 Search ROUTLEY+MEYER+SEMANTICS Search ROUTLEY+MEYER+SEMANTICS
8 NATURAL DEDUCTION 212714 3% 25% 25 Search NATURAL+DEDUCTION Search NATURAL+DEDUCTION
9 NELSONS LOGIC 204241 1% 100% 6 Search NELSONS+LOGIC Search NELSONS+LOGIC
10 SEQUENT CALCULI 185559 1% 42% 13 Search SEQUENT+CALCULI Search SEQUENT+CALCULI

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 DICHER, B , (2016) WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS.REVIEW OF SYMBOLIC LOGIC. VOL. 9. ISSUE 3. P. 583 -602 17 89% 0
2 WIECKOWSKI, B , (2016) SUBATOMIC NATURAL DEDUCTION FOR A NATURALISTIC FIRST-ORDER LANGUAGE WITH NON-PRIMITIVE IDENTITY.JOURNAL OF LOGIC LANGUAGE AND INFORMATION. VOL. 25. ISSUE 2. P. 215 -268 15 94% 0
3 SHAPIRO, L , (2015) NAIVE STRUCTURE, CONTRACTION AND PARADOX.TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY. VOL. 34. ISSUE 1. P. 75 -87 16 84% 2
4 BADIA, G , (2016) A LINDSTROM-STYLE THEOREM FOR FINITARY PROPOSITIONAL WEAK ENTAILMENT LANGUAGES WITH ABSURDITY.LOGIC JOURNAL OF THE IGPL. VOL. 24. ISSUE 2. P. 115 -137 15 88% 0
5 RIPLEY, D , (2015) ANYTHING GOES.TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY. VOL. 34. ISSUE 1. P. 25 -36 13 93% 3
6 FRANCEZ, N , (2016) VIEWS OF PROOF-THEORETIC SEMANTICS: REIFIED PROOF-THEORETIC MEANINGS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 26. ISSUE 2. P. 479 -494 13 93% 0
7 KURBIS, N , (2015) PROOF-THEORETIC SEMANTICS, A PROBLEM WITH NEGATION AND PROSPECTS FOR MODALITY.JOURNAL OF PHILOSOPHICAL LOGIC. VOL. 44. ISSUE 6. P. 713 -727 12 100% 1
8 BATENS, D , (2016) SPOILED FOR CHOICE?.JOURNAL OF LOGIC AND COMPUTATION. VOL. 26. ISSUE 1. P. 65 -95 9 100% 4
9 MURZI, J , CARRARA, M , (2014) MORE REFLECTIONS ON CONSEQUENCE.LOGIQUE ET ANALYSE. VOL. . ISSUE 227. P. 223 -258 24 49% 0
10 TRANCHINI, L , (2016) PROOF-THEORETIC SEMANTICS, PARADOXES AND THE DISTINCTION BETWEEN SENSE AND DENOTATION.JOURNAL OF LOGIC AND COMPUTATION. VOL. 26. ISSUE 2. P. 495 -512 14 74% 1

Classes with closest relation at Level 1


Rank Class id link
1 14168 DEFLATIONISM//LIAR PARADOX//YABLOS PARADOX
2 22155 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
3 25081 KNOWABILITY PARADOX//PARADOX OF KNOWABILITY//FITCHS PARADOX
4 9328 LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC
5 20500 HISTORY AND PHILOSOPHY OF LOGIC//LOGICAL CONSTANTS//LOGICAL CONSEQUENCE
6 23935 INDICATIVE CONDITIONALS//CONDITIONALS//CONDITIONAL ELEMENTS
7 20128 VAGUENESS//EPISTEMICISM//SORITES PARADOX
8 4886 MV ALGEBRA//BL ALGEBRA//RESIDUATED LATTICE
9 12527 ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC
10 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES

Go to start page