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. 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.

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.

Closing Dates

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.

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.

Description

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.