The Journal of Symbolic Logic - Submissions

Articles being submitted for publication in The Journal of Symbolic Logic should be sent to one and only one of the following editors. See the JSL Guidelines for information on the format of submissions.

Any other material, including items for the BSL Reviews section, should be sent to the JSL editors at:

JSL Editors
Association for Symbolic Logic
Box 742, Vassar College
Poughkeepsie, NY 12604, USA
Email: asl@vassar.edu

______________________________________________________________________________________

Toshiyasu Arai
arai@kobe-u.ac.jp
Graduate Schoool of Engineering
Kobe University
Rokko-dai, Nada-ku
Kobe 657-8501, Japan
"I will handle papers in proof theory. I prefer electronic submission of pdf files as an attachment to an email message, but also accept postscript, TeX, or hardcopy (in duplicate)."

Alessandro Berarducci
berardu@dm.unipi.it
Dipartimento di Matematica 
Universita' di Pisa 
Largo Bruno Pontecorvo 5
56127 Pisa, Italia
"I will consider papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."

Elisabeth Bouscaren
elisabeth.bouscaren@math.u-psud.fr
Université Paris-Sud 11
CNRS
Department of Mathematics at Orsay
France
"I will consider papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."

Peter Cholak (Coordinating Editor)
Peter.Cholak.1@nd.edu
Department of Mathematics
University of Notre Dame
Notre Dame, IN, USA
"I handle papers in computability/recursion theory. I prefer electronic submission of pdf files as an attachment to an email message. I can also handle PostScript and .dvi files."

Erich Grädel
graedel@logic.rwth-aachen.de
Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen, Germany
"I will handle papers related to logic in computer science (in a broad sense). I prefer electronic submissions in postscript or pdf as an attachment to an email message. "

Justin Moore
justin@math.cornell.edu
Department of Mathematics
310 Malott Hall
Cornell University
Ithaca, NY 14853-4201
USA
"I will consider papers in set theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files. I also accept hardcopies (in duplicate)."

Ralf Schindler
rds@math.uni-muenster.de
Inst. für mathematische Logik und Grundlagenforschung
Univ. at Münster
Einsteinstr. 62
48149 Münster, Germany
"I will handle papers in set theory. I prefer electronic submissions in the form of .ps or .pdf files being attached to your email."

Frank Stephan
fstephan@comp.nus.edu.sg
Dept. of Mathematics
National University of Singapore
2 Science Dr. 2
Singapore 117543, Republic of Singapore
"I can handle submissions in recursion theory, algorithmic randomness, inductive inference and reverse mathematics. Electronic submission by email is preferred; papers should be transmitted as ps-files, dvi-files, latex-files or pdf-files; in the case of latex-files, everything should be in one source file without other files to be required except perhaps one style-file."

Alasdair Urquhart
urquhart@cs.toronto.edu
Dept. of Computer Science
Sandford Fleming Bldg.
10 King's College Rd.
Univ. of Toronto, Toronto, Ontario M5S 3G4, Canada
"I handle papers on complexity of proofs and algorithms for the JSL. I will also consider papers in non-classical logic for both the JSL and the Review of Symbolic Logic (RSL) but authors should be aware that many but not all papers in non-classical logic fall within the purview of the RSL (see the statements of scope on the JSL and RSL web statements). I prefer electronic submissions in postscript or pdf as an attachment to an email message."

<back to Journal Main Page>