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, whose initial concept is based on a paper by Moses Schönfinkel, for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used 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, open-access academic journal. Centaurus publishes high quality academic content on the history of science in the broadest sense, including the history of mathematics, medicine, biomedical sciences, earth sciences, social sciences, humanities and technology, studied from different perspectives, including epistemic, social, cultural, material and technical aspects. It is the official journal of the European Society for the History of Science (ESHS).

<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 higher secondary and degree level educational institution founded and managed by the priests of the Congregation of Holy Cross located in Dhaka, the capital of Bangladesh. Upon the invitation of the then East Pakistan government after the partition of India, St. Gregory's College was founded on 3 November 1949, as an expanded iteration of St. Gregory's High School in Laxmibazar, Dhaka. This was undertaken by the Roman Catholic priest community at the initiative of Archbishop Lawrence Graner and the decision of the Congregation of Holy Cross. In 1954, the college relocated to Arambagh near Kamalapur railway station under the jurisdiction of the Motijheel Thana, and was dedicated to Mary, the mother of Jesus Christ, being named Notre Dame College. The French phrase "Notre Dame" signifies Our Lady, yet Notre Dame College has remained an all-boys institution since its establishment.

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>Synthese</i> Academic journal

Synthese is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name Synthese finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno, Wiebe van der Hoek, and Kristie Miller.

<span class="mw-page-title-main">Joseph Gallian</span> American mathematician

Joseph A. Gallian is an American mathematician, the Morse Alumni Distinguished University Professor of Teaching in the Department of Mathematics and Statistics at the University of Minnesota Duluth.

<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 was 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 the John Cardinal O'Hara Professor of Logic 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.

References

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