Class information for:
Level 1: ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
12527 899 20.4 23%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
276 3       FUZZY SETS AND SYSTEMS//ALGEBRA UNIVERSALIS//ROUGH SETS 43335
2659 2             MV ALGEBRA//LOGIC//BL ALGEBRA 3451
12527 1                   ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC 899

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 ADMISSIBLE RULES authKW 1271632 5% 80% 47
2 CYLINDRIC ALGEBRAS authKW 1089869 4% 84% 38
3 ALGEBRAIC LOGIC authKW 862341 5% 54% 47
4 MODAL LOGIC authKW 804921 14% 18% 129
5 NEAT REDUCTS authKW 543431 2% 100% 16
6 LOGIC WoSSC 530536 53% 3% 479
7 POLYADIC ALGEBRAS authKW 524018 2% 86% 18
8 CANONICAL EXTENSION authKW 505403 3% 60% 25
9 RELATION ALGEBRA authKW 430482 4% 34% 37
10 QUASI POLYADIC ALGEBRAS authKW 407573 1% 100% 12

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 530536 53% 3% 479
2 Mathematics 26581 73% 0% 660
3 Philosophy 5705 13% 0% 114
4 Mathematics, Applied 2658 22% 0% 201
5 Computer Science, Theory & Methods 2552 15% 0% 136
6 Computer Science, Artificial Intelligence 343 6% 0% 51
7 History & Philosophy of Science 45 1% 0% 8
8 Computer Science, Software Engineering 11 1% 0% 12
9 Computer Science, Information Systems 6 1% 0% 12
10 Multidisciplinary Sciences 5 1% 0% 6

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 COMP MATH DT 101893 0% 100% 3
2 LOG LANGUAGE COMPUTAT 93740 3% 10% 27
3 CLC 83594 1% 31% 8
4 COMP MATH IT 67929 0% 100% 2
5 SQIG IT 61134 0% 60% 3
6 GRP LOG LANGUAGE INFORMAT 50944 0% 50% 3
7 PROJET ATOLL 45285 0% 67% 2
8 ILLC 43485 2% 9% 14
9 CAREER DEV LIBERAL ARTS 33964 0% 100% 1
10 CCSOM 33964 0% 100% 1

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 LOGIC JOURNAL OF THE IGPL 239282 7% 11% 66
2 ALGEBRA UNIVERSALIS 190623 11% 6% 100
3 JOURNAL OF SYMBOLIC LOGIC 147054 12% 4% 112
4 STUDIA LOGICA 109919 4% 10% 34
5 JOURNAL OF LOGIC AND COMPUTATION 107368 6% 6% 55
6 MATHEMATICAL LOGIC QUARTERLY 72169 6% 4% 50
7 ANNALS OF PURE AND APPLIED LOGIC 63289 7% 3% 62
8 REVIEW OF SYMBOLIC LOGIC 43911 2% 7% 19
9 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 39477 3% 5% 24
10 JOURNAL OF PHILOSOPHICAL LOGIC 38712 4% 4% 32

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 ADMISSIBLE RULES 1271632 5% 80% 47 Search ADMISSIBLE+RULES Search ADMISSIBLE+RULES
2 CYLINDRIC ALGEBRAS 1089869 4% 84% 38 Search CYLINDRIC+ALGEBRAS Search CYLINDRIC+ALGEBRAS
3 ALGEBRAIC LOGIC 862341 5% 54% 47 Search ALGEBRAIC+LOGIC Search ALGEBRAIC+LOGIC
4 MODAL LOGIC 804921 14% 18% 129 Search MODAL+LOGIC Search MODAL+LOGIC
5 NEAT REDUCTS 543431 2% 100% 16 Search NEAT+REDUCTS Search NEAT+REDUCTS
6 POLYADIC ALGEBRAS 524018 2% 86% 18 Search POLYADIC+ALGEBRAS Search POLYADIC+ALGEBRAS
7 CANONICAL EXTENSION 505403 3% 60% 25 Search CANONICAL+EXTENSION Search CANONICAL+EXTENSION
8 RELATION ALGEBRA 430482 4% 34% 37 Search RELATION+ALGEBRA Search RELATION+ALGEBRA
9 QUASI POLYADIC ALGEBRAS 407573 1% 100% 12 Search QUASI+POLYADIC+ALGEBRAS Search QUASI+POLYADIC+ALGEBRAS
10 KRIPKE FRAME 363896 2% 71% 15 Search KRIPKE+FRAME Search KRIPKE+FRAME

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 AHMED, TS , (2005) ALGEBRAIC LOGIC, WHERE DOES IT STAND TODAY?.BULLETIN OF SYMBOLIC LOGIC. VOL. 11. ISSUE 4. P. 465-516 39 93% 22
2 ODINTSOV, S , RYBAKOV, V , (2013) UNIFICATION AND ADMISSIBLE RULES FOR PARACONSISTENT MINIMAL JOHANSSONS' LOGIC J AND POSITIVE INTUITIONISTIC LOGIC IPC+.ANNALS OF PURE AND APPLIED LOGIC. VOL. 164. ISSUE 7-8. P. 771 -784 24 100% 7
3 RASGA, J , SERNADAS, C , SERNADAS, A , (2016) PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS.REVIEW OF SYMBOLIC LOGIC. VOL. 9. ISSUE 4. P. 641 -663 23 100% 0
4 MADARASZ, J , AHMED, TS , (2009) NEAT REDUCTS AND AMALGAMATION IN RETROSPECT, A SURVEY OF RESULTS AND SOME METHODS PART I: RESULTS ON NEAT REDUCTS.LOGIC JOURNAL OF THE IGPL. VOL. 17. ISSUE 4. P. 429 -483 23 100% 0
5 IEMHOFF, R , (2015) ON RULES.JOURNAL OF PHILOSOPHICAL LOGIC. VOL. 44. ISSUE 6. P. 697 -711 21 88% 2
6 RYBAKOV, V , (2013) UNIFIERS IN TRANSITIVE MODAL LOGICS FOR FORMULAS WITH COEFFICIENTS (META-VARIABLES).LOGIC JOURNAL OF THE IGPL. VOL. 21. ISSUE 2. P. 205-215 18 100% 2
7 RYBAKOV, VV , (2012) WRITING OUT UNIFIERS IN LINEAR TEMPORAL LOGIC.JOURNAL OF LOGIC AND COMPUTATION. VOL. 22. ISSUE 5. P. 1199-1206 18 100% 2
8 BABENYSHEV, S , RYBAKOV, V , (2011) UNIFICATION IN LINEAR TEMPORAL LOGIC LTL.ANNALS OF PURE AND APPLIED LOGIC. VOL. 162. ISSUE 12. P. 991-1000 19 95% 8
9 RYBAKOV, V , (2014) PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR TEMPORAL LOGIC LTLU.LOGIC JOURNAL OF THE IGPL. VOL. 22. ISSUE 4. P. 665 -672 18 95% 1
10 RYBAKOV, VV , (2013) WRITING OUT UNIFIERS FOR FORMULAS WITH COEFFICIENTS IN INTUITIONISTIC LOGIC.LOGIC JOURNAL OF THE IGPL. VOL. 21. ISSUE 2. P. 187-198 17 100% 4

Classes with closest relation at Level 1


Rank Class id link
1 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
2 22155 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
3 4886 MV ALGEBRA//BL ALGEBRA//RESIDUATED LATTICE
4 19666 OCKHAM ALGEBRA//ALGEBRA UNIVERSALIS//QUASI STONE ALGEBRA
5 12559 PROOF THEORETIC SEMANTICS//RELEVANT LOGIC//JOURNAL OF PHILOSOPHICAL LOGIC
6 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
7 21198 LAWSON COMPACT//SCOTT TOPOLOGY//CONTINUOUS POSET
8 9328 LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC
9 12535 ALGEBRA UNIVERSALIS//NATURAL DUALITY//FINITELY BASED
10 15987 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//FUZZY ONTOLOGIES

Go to start page