The ''Notre Dame Journal of Formal Logic'' is a quarterly
peer-reviewed scientific journal covering the
foundations of mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...
and related fields of
mathematical logic
Mathematical logic is the study of 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 ...
, as well as
philosophy of mathematics
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in peop ...
. It was established in 1960 and is published by
Duke University Press
Duke University Press is an academic publisher and university press affiliated with Duke University. It was founded in 1921 by William T. Laprade as The Trinity College Press. (Duke University was initially called Trinity College). In 1926 D ...
on behalf of the
University of Notre Dame
The University of Notre Dame du Lac, known simply as Notre Dame ( ) or ND, is a private Catholic university, Catholic research university in Notre Dame, Indiana, outside the city of South Bend, Indiana, South Bend. French priest Edward Sorin fo ...
. The
editors-in-chief
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies.
The highest-ranking editor of a publication may also be titled editor, managing ...
are Curtis Franks and
Anand Pillay
Anand Pillay (born 7 May 1951) is a British mathematician and logician working in model theory and its applications in algebra and number theory.
Biography
Pillay studied as an undergraduate at the University of Oxford, obtaining a Bachel ...
(University of Notre Dame).
Abstracting and indexing
The journal is abstracted and indexed in:
According to the ''
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 Collec ...
'', the journal has a 2012
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 ...
of 0.431.
References
External links
*
Journal pageat Notre Dame University
Journal pageat
Project Euclid Project Euclid is a collaborative partnership between Cornell University Library and Duke University Press which seeks to advance scholarly communication in theoretical and applied mathematics and statistics through partnerships with independent an ...
Mathematical logic
Mathematics journals
Logic journals
Philosophy journals
Philosophy of mathematics literature
Duke University Press academic journals
Quarterly journals
Publications established in 1960
{{math-journal-stub
University of Notre Dame academic journals