Notre Dame Journal of Formal Logic

Typesetting Information

The NDJFL prefers manuscripts in LaTeX with \documentclass{jfl} or, as an alternative, {amsart}.

Guide to Authors

Guide to terms and conditions for submitting a manuscript to NDJFL.

jfl.cls

LaTeX style file for \documentclass{jfl}. This contains all the necessary code to typeset a paper for the NDJFL.

jflnat.bst

Bibliography style file for BibTeX in the NDJFL style.

Style Guide with NDJFL fonts

Style Guide in pdf showing how a manuscript looks when published using NDJFL proprietary fonts.

Style Guide with Computer Modern fonts

Style Guide in pdf showing how a manuscript looks when typeset with standard Computer Modern fonts.

Style Guide with PSNFSS fonts

Style Guide in pdf showing how a manuscript looks when typeset with the option psnfss.

LaTeX Source Code for Style Guide

Report bugs and errors to ndjfl@nd.edu. Comments and suggestions are also welcome.

Except for the "Style Guide" all of the above files are version 1 and were released and posted on June 17, 2003. The "Style Guide" is a preliminary version and will be revised and enhanced at a later date.