Home / Journals / Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

NDJ cover image Sign Up for Issue Alerts
For Authors

For information on how to submit an article, visit submission guidelines. See ethics and policies.

Journal

Current Volume: 67

Frequency: Quarterly

Academic Editors: Curtis Franks, Anand Pillay

The Notre Dame Journal of Formal Logic publishes original work in all areas of logic and the foundations of mathematics. Leveraging a strong interdisciplinary editorial board—including esteemed scholars of philosophy, mathematics, linguistics, and computer science from around the world—the journal strikes a unique balance among historical, philosophical, and mathematical perspectives. In addition to addressing philosophical and mathematical logic at a broad level, the journal delves into disciplinary subareas such as formal semantics, modal logic, constructivist logics, recursion theory/computability theory, model theory, and proof theory and provides an outlet for work addressing computational, informatic, and linguistic concerns.

Subscribe

Price: $44.00

Read Online

Subscribers and institutions with electronic access can read the journal on Project Euclid.

Access on Our Site

Information

Editors

Back to Top
Editorial Office:
Notre Dame Journal of Formal Logic
University of Notre Dame
Department of Mathematics
255 Hurley Building
Notre Dame, IN  46556
574-631-7245
574-631-6579 (fax)
ndjfl@nd.edu
ndjfl.nd.edu

Editors:
Curtis Franks, University of Notre Dame
Anand Pillay, University of Notre Dame

Editorial and Business Manager:
Atticus Stonestrom

Editorial Board:
Timothy Bays
Jc Beall
Patricia Blanchette
Peter Cholak
Barbara Csima
Natasha Dobrinen
Su Gao
Warren Goldfarb
Itay Kaplan
Julia Knight
Michael J. Kremer
Paul Larson
Penelope Maddy
David E. Marker
Timothy McCarthy
Vann McGee
Colin McLarty
Daniel Nolan
Nick Ramsey
Michael Rathjen
Greg Restall
Stewart Shapiro
Sergei Starchenko
Jouko Väänänen
Albert Visser
Timothy Williamson

For Authors

Back to Top
 


To submit manuscripts, please visit https://ef.msp.org/submit/ndjfl. Manuscripts should be submitted in LaTeX with \documentclass{jfl} or, alternatively, {amsart}. For submissions that are not in some form of TeX, a PDF with all fonts properly embedded is required. Every submission must include an abstract of 150 words or less, a list of keywords, and 2010 Mathematics Subject Classification codes. Authors should design their manuscripts to facilitate the processes of blind and double-blind review. For a style guide and \documentclass{jfl}, see the NDJFL's typesetting page.


 


Submitting authors warrant the following:


 


1. The submitted work is original, has not been submitted for publication or published elsewhere, and will not be submitted elsewhere unless and until the NDJFL has given notice that it will not publish it.


 


2. They have the legal authority to assign all rights in the submitted work.


 


3. They have secured all necessary permissions for content (e.g., artwork) that is not original.


 


4. They have obtained permission to cite all persons identified as sources of personal communication.


 


5. They have obtained from any coauthors express approval to list them as authors and to submit the work for publication.


 


6. They have taken proper care to ensure that the work is true in fact, does not contain defamatory or illegal content, and does not infringe on the rights of others.


 

In EditFlow, authors will be prompted to sign an assignment of copyright to the NDJFL to protect themselves and the publisher from the misuse of copyrighted material.

Abstractors & Indexers

Back to Top
Indexed/abstracted in the following: ArticleFirst, Arts & Humanities Citation Index, Current Contents, Current Index to Statistics (Online), Dietrich's Index Philosophicus, European Reference Index for the Humanities (ERIH) PLUS, Inspec - EBSCO, Inspec - Ovid, MathSciNet, The Philosopher's Index (Online) - EBSCO, The Philosopher's Index (Online) - Ovid, The Philosopher's Index (Online) - ProQuest, Repertoire Bibliographique de la Philosophie (Online), Russian Academy of Sciences Bibliographies, Science Citation Index Expanded, Scopus, Ulrichsweb, Web of Science, Zentralblatt MATH (Online).

Online Access

Back to Top
Individual Access Instructions

You should now have access to the Notre Dame Journal of Formal Logic through Project Euclid. In order to activate your online access to the Notre Dame Journal of Formal Logic, follow the steps:

1. Visit projecteuclid.org and sign in.
2. If you do not already have a projecteuclid.org account, select “Create an account” from within the “Sign In” window.
3. Complete the form to create a Euclid account.
4. The e-mail address provided will be used to contact you regarding electronic access.

If you have any questions, please contact us at subscriptions@dukeupress.edu.


Institutional Access Instructions

Before orders for the electronic version of the Notre Dame Journal of Formal Logic can be processed, Duke University Press must receive prepayment and have a signed site license agreement on file, unless other arrangements have been made. 

- Prepayment must be sent to Duke University Press Customer Service.

- A signed site license agreement with appropriate IP addresses and customer number must be sent to the attention of the library relations manager at 919-680-6078 or mailed to 905 W. Main St., Suite 18B, Durham, NC 27701.

- Institutions will receive a confirmation e-mail when access is activated.

Additional Information

Back to Top

ISSN: 0029-4527

e-ISSN: 1939-0726