Journals

> Journal of Symbolic Logic
   Bulletin of Symbolic Logic
   Review of Symbolic Logic
   ASL Reviews
   Subscriptions
   Author Resources
   Back Volumes

The Journal of Symbolic Logic - Submissions

Articles being submitted for publication in The Journal of Symbolic Logic should be submitted according to the JSL Guidelines where authors can choose one of the following editors for their submissions.

 

______________________________________________________________________________________

 

Matthias Aschenbrenner
matthias@@math.ucla.edu
Department of Mathematics
Univeristy of California, Los Angeles
Box 951555
Los Angeles, CA 90095-1555 USA
"I welcome papers in model theory."

Bakhadyr Khoussainov
bmk@cs.auckland.ac.nz
Department of Computer Science
The University of Auckland
Private Bag 92019
Auckland 1142, New Zealand
"I consider papers in effective aspects of model theory and algebra, automata, formal languages, and automatic structures."

Jan Krajicek
krajicek@karlin.mff.cuni.cz
Department of Algebra
Faculty of Mathematics and Physics
Sokolovska 83
Prague, CZ-186 75
The Czech Republic
"I welcome papers broadly relevant to the interplay between mathematical logic and computational complexity theory."

Stephan Kreutzer
stephan.kreutzer@tu-berlin.de
Technische Universitaet Berlin
Institut fuer Softwaretechnik und Theoretische Informatik
Lehrstuhl fuer Logik und Semantik
Sekr TEL 7-3
Ernst-Reuter-Platz 7
10587 Berlin, Germany
"I handle papers in finite and computational model theory as well as other subjects related to model theoretical approaches to logic in computer science."

Colin McLarty
colin.mclarty@case.edu
Department of Philosophy
Case Western Reserve University
11130 Bellflower Road
Cleveland, OH 44106-7119 USA
"I will accept papers in categorical logic or other logical uses of category theory, or proof theory of arithmetic, also technical papers on foundations of mathematics."

Joseph S. Miller
jmiller@math.wisc.edu
Department of Mathematic
University of Wisconsin–Madison
480 Lincoln Drive
Madison, WI 53706 USA
"I can handle papers in computability theory, algorithmic randomness, and reverse mathematics."

Ya'acov Peterzil
kobi@math.haifa.ac.il
Department of Mathematics
University of Haifa
Mount Carmel
Haifa, 31905
Israel
"I accept papers in model theory.

Thomas Strahm
strahm@inf.unibe.ch
IAM, University of Bern
Neubruckstrasse 10
CH-3012 Bern, Switzerland
"I will consider papers in all areas of proof theory."

Boban Velickovic
boban@math.univ-paris-diderot.fr
Équipe de Logique Mathématique
Université Paris Diderot Paris 7
UFR de mathématiques case 7012, site Chevaleret
75205 Paris Cedex 13, France
"I consider papers in set theory and its applications to topology, analysis, algebra, etc".

Philip Welch, Coordinating Editor
P.Welch@bristol.ac.uk
School of Mathematics
University of Bristol
Bristol, BS8 1TW, UK
"I will accept papers in set theory, but also technical papers on foundations of set theory & mathematics and on formal theories of truth."

 

 

 

<back to Journal Main Page>


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]