Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 17432 | 536 | 18.2 | 24% |
Classes in level above (level 2) |
| ID, lev. above |
Publications | Label for level above |
|---|---|---|
| 1893 | 5397 | ALGEBRA UNIVERSALIS//MV ALGEBRA//NATURAL DUALITY |
Terms with highest relevance score |
| Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|---|
| 1 | LOGIC OF PROOFS | Author keyword | 56 | 89% | 5% | 25 |
| 2 | JUSTIFICATION LOGIC | Author keyword | 53 | 85% | 5% | 28 |
| 3 | ADMISSIBLE RULES | Author keyword | 52 | 87% | 5% | 26 |
| 4 | ADMISSIBLE RULE | Author keyword | 45 | 90% | 4% | 19 |
| 5 | REALIZATION THEOREM | Author keyword | 14 | 100% | 1% | 7 |
| 6 | ADMISSIBLE INFERENCE RULES | Author keyword | 12 | 86% | 1% | 6 |
| 7 | FIBRING | Author keyword | 8 | 75% | 1% | 6 |
| 8 | KRIPKE MODEL | Author keyword | 8 | 40% | 3% | 16 |
| 9 | PROVABILITY LOGIC | Author keyword | 8 | 44% | 3% | 14 |
| 10 | PROJECTIVE BETH PROPERTY | Author keyword | 8 | 100% | 1% | 5 |
Web of Science journal categories |
Author Key Words |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | LOGIC OF PROOFS | 56 | 89% | 5% | 25 | Search LOGIC+OF+PROOFS | Search LOGIC+OF+PROOFS |
| 2 | JUSTIFICATION LOGIC | 53 | 85% | 5% | 28 | Search JUSTIFICATION+LOGIC | Search JUSTIFICATION+LOGIC |
| 3 | ADMISSIBLE RULES | 52 | 87% | 5% | 26 | Search ADMISSIBLE+RULES | Search ADMISSIBLE+RULES |
| 4 | ADMISSIBLE RULE | 45 | 90% | 4% | 19 | Search ADMISSIBLE+RULE | Search ADMISSIBLE+RULE |
| 5 | REALIZATION THEOREM | 14 | 100% | 1% | 7 | Search REALIZATION+THEOREM | Search REALIZATION+THEOREM |
| 6 | ADMISSIBLE INFERENCE RULES | 12 | 86% | 1% | 6 | Search ADMISSIBLE+INFERENCE+RULES | Search ADMISSIBLE+INFERENCE+RULES |
| 7 | FIBRING | 8 | 75% | 1% | 6 | Search FIBRING | Search FIBRING |
| 8 | KRIPKE MODEL | 8 | 40% | 3% | 16 | Search KRIPKE+MODEL | Search KRIPKE+MODEL |
| 9 | PROVABILITY LOGIC | 8 | 44% | 3% | 14 | Search PROVABILITY+LOGIC | Search PROVABILITY+LOGIC |
| 10 | PROJECTIVE BETH PROPERTY | 8 | 100% | 1% | 5 | Search PROJECTIVE+BETH+PROPERTY | Search PROJECTIVE+BETH+PROPERTY |
Key Words Plus |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | ADMISSIBLE RULES | 21 | 71% | 3% | 17 |
| 2 | INTUITIONISTIC LOGIC | 14 | 42% | 5% | 26 |
| 3 | INTUITIONISTIC PROPOSITIONAL LOGIC | 10 | 63% | 2% | 10 |
| 4 | COMPLETENESS PRESERVATION | 9 | 83% | 1% | 5 |
| 5 | PROVABILITY | 7 | 37% | 3% | 16 |
| 6 | CONSECUTIONS | 6 | 58% | 1% | 7 |
| 7 | KRIPKE MODELS | 6 | 100% | 1% | 4 |
| 8 | STRUCTURAL COMPLETENESS | 6 | 100% | 1% | 4 |
| 9 | LINEAR TEMPORAL LOGIC | 4 | 36% | 1% | 8 |
| 10 | MINIMAL QUANTUM LOGIC | 3 | 100% | 1% | 3 |
Journals |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Explicit provability and constructive semantics | 2001 | 107 | 10 | 50% |
Address terms |
| Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | DIGITAL AUTOMATA THEORY | 6 | 100% | 0.7% | 4 |
| 2 | DIGITAL AUTOMATA THEORY 100 | 6 | 100% | 0.7% | 4 |
| 3 | CLC | 3 | 32% | 1.5% | 8 |
| 4 | SQIG IT | 3 | 60% | 0.6% | 3 |
| 5 | MATH LOG THEORY ALGORITHMS | 3 | 25% | 1.7% | 9 |
| 6 | PROJET ATOLL | 2 | 67% | 0.4% | 2 |
| 7 | COMP MATH DT | 1 | 100% | 0.4% | 2 |
| 8 | COMP MATH IT | 1 | 100% | 0.4% | 2 |
| 9 | CLE | 1 | 30% | 0.6% | 3 |
| 10 | KNOWLEDGE REP ENTAT REASONING UNIT | 1 | 50% | 0.2% | 1 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000205440 | CYLINDRIC ALGEBRAS//NEAT REDUCTS//ALGEBRAIC LOGIC |
| 2 | 0.0000135371 | DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//LOGIC FOR THE SEMANTIC WEB |
| 3 | 0.0000130073 | BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY |
| 4 | 0.0000101789 | LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS |
| 5 | 0.0000098259 | MV ALGEBRA//PSEUDO MV ALGEBRA//RESIDUATED LATTICES |
| 6 | 0.0000068489 | BELIEF REVISION//ADAPTIVE LOGICS//ITERATED REVISION |
| 7 | 0.0000058309 | BILATTICES//FUZZY LOGIC PROGRAMMING//TWIST STRUCTURE |
| 8 | 0.0000056916 | OCKHAM ALGEBRA//UNIVERSAL CATEGORY//Q UNIVERSAL |
| 9 | 0.0000054144 | PROOF THEORETIC SEMANTICS//JOURNAL OF PHILOSOPHICAL LOGIC//REVIEW OF SYMBOLIC LOGIC |
| 10 | 0.0000048101 | ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS |