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 Logic, The 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:
- The documentclass (227 KB): asl.cls . (Version 1.3, posted June 7, 2002)
- Updated version: asl_cls.txt . Download this file and rename it “asl.cls” to use in LaTeX.
- The document guide for asl.cls: pdf file, asldoc.pdf (17 pages, 300 KB).
- The complete document: Texfile, asldoc.tex. This will not compile fully without the proprietary Monotype fonts used by ASL Publications, but it is useful for searching.
- The auxiliary document (4 pages): pdf file, amsthdoc.pdf .
- The Bibtex stylefile (80 KB): asl.bst .
- Updated version: asl_bst.txt . Download this file and rename it “asl.bst” to use in LaTeX.
- Stylefile for reviews (3 KB): review.sty .
- The description of the review style: pdf file, reviewsty.pdf (5 pages, 130 KB).
- An empty template for a review: template.tex .
- RSL class file: rsl.cls .
Optional files:
- The document guide for amsart (480 KB): pdf file, amsldoc.pdf .
- A list of mathematical symbols available under asl.cls: pdf file, aslsyms.pdf , Texfile, aslsyms.tex .
- Sam Buss’s package for formal proofs: bussproofs.sty, see also the homepage of bussproofs.sty.
- Full names of journals and serials for lists of references in ASL publications, thanks to the American Mathematical Society.
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, asl@kahle.ch.
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.)