|
Archive For Mathematical Logic
'' Archive for Mathematical Logic'' is a peer review, peer-reviewed mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes articles on mathematical logic. Abstracting and indexing The journal is abstracted and indexed in: Springer. 2022 * Mathematical Reviews * Zentralblatt MATH * Scopus * SCImago Journal Rank, SCImago According to the ''Journal Citation Reports'', the journal has a 2020 impact factor of 0.287. References External links * English-language journals Logic journals Mathematics journals Mathematical logic Academic journals established in 1950 Springer Science+Business Media academic journals 1950 establishments in West Germany {{math-journal-stub ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Citation Reports
''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collections. It provides information about academic journals in the natural sciences and social sciences, including impact factors. The ''JCR'' was originally published as a part of ''Science Citation Index''. Currently, the ''JCR'', as a distinct service, is based on citations compiled from the '' Science Citation Index Expanded'' and the '' Social Sciences Citation Index''.- - - Basic journal information The information given for each journal includes: * the basic bibliographic information of publisher, title abbreviation, language, ISSN * the subject categories (there are 171 such categories in the sciences and 54 in the social sciences) Citation information * Basic citation data: ** the number of articles published during that year and ** ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Journals Established In 1950
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics Journals
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Journals
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually unde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English-language Journals
English is a West Germanic languages, West Germanic language of the Indo-European language family, with its earliest forms spoken by the inhabitants of early medieval England. It is named after the Angles, one of the ancient Germanic peoples that migrated to the island of Great Britain. Existing on a dialect continuum with Scots language, Scots, and then closest related to the Low German, Low Saxon and Frisian languages, English is Genetic relationship (linguistics), genealogically West Germanic language, West Germanic. However, its vocabulary is also distinctively influenced by Langues d'oïl, dialects of France (about List of English words of French origin, 29% of Modern English words) and Latin (also about 29%), plus some grammar and a small amount of core vocabulary influenced by Old Norse (a North Germanic language). Speakers of English are called Anglophones. The earliest forms of English, collectively known as Old English, evolved from a group of West Germanic (Ingvae ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomson Reuters
Thomson Reuters Corporation ( ) is a Canadian multinational media conglomerate. The company was founded in Toronto, Ontario, Canada, where it is headquartered at the Bay Adelaide Centre. Thomson Reuters was created by the Thomson Corporation's purchase of the British company Reuters Group in April 2008. It is majority-owned by The Woodbridge Company, a holding company for the Thomson family. History Thomson Corporation The forerunner of the Thomson company was founded by Roy Thomson in 1934 in Ontario, as the publisher of ''The Timmins Daily Press''. In 1953, Thomson acquired the ''Scotsman'' newspaper and moved to Scotland the following year. He consolidated his media position in Scotland in 1957, when he won the franchise for Scottish Television. In 1959, he bought the Kemsley Group, a purchase that eventually gave him control of the '' Sunday Times''. He separately acquired the ''Times'' in 1967. He moved into the airline business in 1965, when he acquired Britanni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Impact Factor
The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as indexed by Clarivate's Web of Science. As a journal-level metric, it is frequently used as a proxy for the relative importance of a journal within its field; journals with higher impact factor values are given the status of being more important, or carry more prestige in their respective fields, than those with lower values. While frequently used by universities and funding bodies to decide on promotion and research proposals, it has come under attack for distorting good scientific practices. History The impact factor was devised by Eugene Garfield, the founder of the Institute for Scientific Information (ISI) in Philadelphia. Impact factors began to be calculated yearly starting from 1975 for journals listed in the ''Journal Citation Rep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SCImago Journal Rank
The SCImago Journal Rank (SJR) indicator is a measure of the prestige of scholarly journals that accounts for both the number of citations received by a journal and the prestige of the journals where the citations come from. Rationale Citations are an indicator of popularity of scientific works and can be perceived as endorsement; prestige can be understood as a combination of the number of endorsements and the prestige of the works publishing them. Adopting this view, the ''SJR indicator'' assigns different values to citations depending on the perceived prestige of the journals where they come from. However, studies of methodological quality and reliability have found that "reliability of published research works in several fields may be decreasing with increasing journal rank", contrary to widespread expectations. The calculation of the ''SJR indicator'' is similar to the ''Eigenfactor score'', with the former being based on the Scopus database and the latter on the Web o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ralf Schindler
Ralph (pronounced ; or ,) is a male given name of English, Scottish and Irish origin, derived from the Old English ''Rædwulf'' and Radulf, cognate with the Old Norse ''Raðulfr'' (''rað'' "counsel" and ''ulfr'' "wolf"). The most common forms are: * Ralph, the common variant form in English, which takes either of the given pronunciations. * Rafe, variant form which is less common; this spelling is always pronounced , as are all other English spellings without "l". * Raife, a very rare variant. * Raif, a very rare variant. Raif Rackstraw from H.M.S. Pinafore * Ralf, the traditional variant form in Dutch, German, Swedish, and Polish. * Ralfs, the traditional variant form in Latvian. * Raoul, the traditional variant form in French. * Raúl, the traditional variant form in Spanish. * Raul, the traditional variant form in Portuguese and Italian. * Raül, the traditional variant form in Catalan. * Rádhulbh, the traditional variant form in Irish. Given name Middle Ages * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scopus
Scopus is Elsevier's abstract and citation database launched in 2004. Scopus covers nearly 36,377 titles (22,794 active titles and 13,583 inactive titles) from approximately 11,678 publishers, of which 34,346 are peer-reviewed journals in top-level subject fields: life sciences, social sciences, physical sciences and health sciences. It covers three types of sources: book series, journals, and trade journals. All journals covered in the Scopus database are reviewed for sufficiently high quality each year according to four types of numerical quality measure for each title; those are ''h''-Index, CiteScore, SJR ( SCImago Journal Rank) and SNIP ( Source Normalized Impact per Paper). Searches in Scopus also incorporate searches of patent databases. Overview Comparing ease of use and coverage of Scopus and the Web of Science (WOS), a 2006 study concluded that "Scopus is easy to navigate, even for the novice user. ... The ability to search both forward and backward from a particu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
