Author Resources

The Association for Symbolic Logic Typesetting Group

The files posted here make it possible to create TEX-files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic LogicThe Bulletin of Symbolic Logic, The Review of Symbolic Logic, Lecture Notes in Logic and Perspectives in Logic. To use these files, LaTeX must be installed.

Required files:

Optional files:

Thesis Abstracts: The only file needed for submission of thesis abstracts is thesis.sty. Guidelines for submissions can be found here.

For comments, bugs, additional information, etc., contact Reinhard Kahle,  kahle@informatik.uni-tuebingen.de .

Last updated June 7, 2002, version 1.3 of asl.cls
(Added aslbook and bibay3 options in asl.cls, corrected some bugs  and improved some features.
 asldoc has not been updated to give instructions for the aslbook option
Usage: start with \documentclass[aslbook,bibay3,…]{asl} and follow the general instructions for “book” in LaTeX.)