Notre Dame Journal of Formal Logic

Last updated

Abstracting and indexing

The journal is abstracted and indexed in:

According to the Journal Citation Reports , the journal has a 2012 impact factor of 0.431. [1]

Related Research Articles

<span class="mw-page-title-main">Liberal arts education</span> Traditional academic course in Western higher education

Liberal arts education is the traditional academic course in Western higher education. Liberal arts takes the term art in the sense of a learned skill rather than specifically the fine arts. Liberal arts education can refer to studies in a liberal arts degree course or to a university education more generally. Such a course of study contrasts with those that are principally vocational, professional, or technical, as well as religiously-based courses.

Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic. While the initial concept of combinatory logic was based on a paper by Moses Schönfinkel, Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.

<i>Centaurus</i> (journal) Academic journal

Centaurus. Journal of the European Society for the History of Science is a quarterly peer-reviewed academic journal covering research on the history of mathematics, science, and technology. It is the official journal of the European Society for the History of Science. The journal was established in 1950. In January 2022, Centaurus was relaunched in open-access format by the ESHS and Brepols as Centaurus. Journal of the European Society for the History of Science. The editor-in-chief is Koen Vermeir.

Axioms is a peer-reviewed open access scientific journal that focuses on all aspects of mathematics, mathematical logic and mathematical physics. It was established in June 2012 and is published quarterly by MDPI.

Giorgi Japaridze is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic.

<span class="mw-page-title-main">Notre Dame College, Dhaka</span> Catholic college in Dhaka, Bangladesh

Notre Dame College, Dhaka, also known as NDC, is a Catholic higher secondary school as well as a degree college affiliated to the National University.

Algebra i Logika is a peer-reviewed Russian mathematical journal founded in 1962 by Anatoly Ivanovich Malcev, published by the Siberian Fund for Algebra and Logic at Novosibirsk State University. An English translation of the journal is published by Springer-Verlag as Algebra and Logic since 1968. It published papers presented at the meetings of the "Algebra and Logic" seminar at the Novosibirsk State University. The journal is edited by academician Yury Yershov.

<i>Proceedings of the American Mathematical Society</i> Academic journal

Proceedings of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages.

The Journal of Philosophical Logic is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff, Reinhard Muskens, and Kai Wehmeier.

<i>Notes and Records</i> Academic journal

Notes and Records: the Royal Society Journal of the History of Science is an international, quarterly peer-reviewed academic journal which publishes original research in the history of science, technology, and medicine. The journal welcomes other forms of contribution including: research notes elucidating recent archival discoveries ; news of research projects and online and other resources of interest to historians; book reviews, including essay reviews, on material relating primarily to the history of the Royal Society; recollections or autobiographical accounts written by Fellows and others recording important moments in science from the recent past. It is published by the Royal Society and the editor-in-chief is Anna Marie Roos supported by an eminent editorial board.

<span class="mw-page-title-main">Peter Aczel</span> British mathematician and logician

Peter Henry George Aczel is a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures.

<span class="mw-page-title-main">Michael Detlefsen</span> American philosopher (1948–2019)

Michael Detlefsen was an American philosopher who was a McMahon-Hank Professor of Philosophy at the University of Notre Dame. His areas of special interest were logic, history of mathematics, philosophy of mathematics and epistemology.

<i>Foundations of Science</i> Academic journal

Foundations of Science is a peer-reviewed interdisciplinary academic journal focussing on methodological and philosophical topics concerning the structure and the growth of science. It is the official journal of the Association for Foundations of Science, Language and Cognition and is published quarterly by Springer Science+Business Media. The journal was established in 1995. The editor in chief is Diederik Aerts.

Archive for History of Exact Sciences is a peer-reviewed academic journal currently published bimonthly by Springer Science+Business Media, covering the history of mathematics and of astronomy observations and techniques, epistemology of science, and philosophy of science from Antiquity until now. It was established in 1960 and the current editors-in-chief are Jed Z. Buchwald and Jeremy Gray.

<i>Mathematical Biosciences</i> Academic journal

Mathematical Biosciences is a monthly peer-reviewed scientific journal publishing work that provides new concepts or new understanding of biological systems using mathematical models, or methodological articles likely to find application to multiple biological systems. Papers are expected to present a major research finding of broad significance for the biosciences, or mathematical biology. Mathematical Biosciences welcomes original research articles, letters, reviews and perspectives.

<span class="mw-page-title-main">Joel David Hamkins</span> American mathematician

Joel David Hamkins is an American mathematician and philosopher who is O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.

<span class="mw-page-title-main">Anil Gupta (philosopher)</span> Indian-American philosopher (born 1949)

Anil K. Gupta is an Indian-American philosopher who works primarily in logic, epistemology, philosophy of language, and metaphysics. Gupta is the Alan Ross Anderson Distinguished Professor of Philosophy at the University of Pittsburgh. He is also a Fellow of the American Academy of Arts and Sciences. His most recent book, Conscious Experience: A Logical Inquiry, was published by Harvard University Press in 2019.

Vincent Frederick Rickey is an American logician and historian of mathematics.

Albert Mullin was an American engineer and Mathematician who is best known for his postulation of the Euclid–Mullin sequence.

Patricia A. Blanchette is an American philosopher and logician, the McMahon-Hank Professor of Philosophy at the University of Notre Dame. She specializes in the history of philosophy, history of logic, philosophy of logic, philosophy of mathematics, and philosophy of science, and is the author of a book on the logic of Gottlob Frege.


  1. "Notre Dame Journal of Formal Logic". 2012 Journal Citation Reports . Web of Science (Science ed.). Thomson Reuters. 2013.