
Have you registered as a member of our site? Sign up today.
Editorial Office:
Notre Dame Journal of Formal Logic
University of Notre Dame
921 Flanner
Notre Dame, IN 46556-5611
574-631-8365
574-631-8609 (fax)
ndjfl@nd.edu
Editors:
Michael Detlefsen, University of Notre Dame
Peter Cholak, University of Notre Dame
Editorial and Business Manager:
Claire E. Shely
Editorial Board:
Peter Aczel
G. Aldo Antonelli
John Baldwin
Timothy Bays
Patrick Blackburn
Patricia Blanchette
Sam Buss
Kosta Došen
Melvin Fitting
Su Gao
Robert Goldblatt
Warren Goldfarb
Ulrich Kohlenbach
Michael J. Kremer
Paul Larson
Penelope Maddy
David E. Marker
Timothy McCarthy
Vann McGee
Colin McLarty
Greg Restall
Stewart Shapiro
Sergei Starchenko
Jouko Väänänen
Albert Visser
Timothy Williamson
To submit manuscripts, please visit www.editorialmanager.com/ndjfl. Register to use Editorial Manager by entering your name and e-mail. Editorial Manager will then guide you through the submission process; there is a tutorial if you need additional assistance. Editorial Manager requires a PDF for submission and initial review. Manuscripts should be created in LaTeX with \documentclass{jfl} or, alternatively, {amsart}. Every submission must include an abstract (not longer than 150 words), 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. 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.
Authors whose work is accepted must sign an assignment of copyright to the NDJFL to protect themselves and the publisher from misuse of copyrighted material.
View general information about advertising in Duke journals.
Individual Access Instructions
In order to activate your online access to the Notre Dame Journal of Formal Logic:
1. Visit projecteuclid.org/CreateProfile.
2. Complete the form to create a Euclid profile. The e-mail address provided will be used to contact you regarding electronic access.
3. Under "Personal Subscription Registration" select Notre Dame Journal of Formal Logic from the list of publications offered.
4. Enter your customer number in the field marked "Subscriber Code" and click "Create Profile." You can find your customer number on the mailing label of the journal or on the renewal notice. If you are unable to find your customer number, please contact Customer Service.
5. If you subscribe to any other titles hosted by Project Euclid, select the title from the additional drop-down lists provided and enter the subscriber code provided by the publisher. Click "Create Profile" to submit the form.
You should now have access to the Notre Dame Journal of Formal Logic through Project Euclid. Visit the Journals home page at dukeupress.edu/journals for additional information on any Duke University Press title.
Thank you for activating your online access. If you have any questions, please contact us at onlinesubs@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 completed online technical form on file, unless other arrangements have been made. To submit your technical information and receive electronic access to the Notre Dame Journal of Formal Logic, please fill out the online access form.
Prepayment must be sent to Duke University Press Customer Service.
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.
Abstractors and Indexers:
Indexed/abstracted in the following: Arts and Humanities Citation Index, Current Contents/Arts and Humanities, MathSciNet, Science Citation Index Expanded, Scopus, The Philosopher's Index, Zentralblatt MATH.