BSL Editorial Staff

Articles and Communications being submitted for publication should be sent to one (and only one) of the following editors. Authors are strongly urged to submit papers using the BSL EditFlow Management System.

Katalin Bimbóbimbo@ualberta.ca
University of AlbertaDepartment of Philosophy2-40 Assiniboia HallEdmonton, AB T6G 2E7, Canada
“I handle papers in relevance, substructural and combinatory logic, including their proof theory and semantics.”

James Cummings, Managing Editor
jcumming@andrew.cmu.edu
Department of Mathematical Sciences
Carnegie Mellon University
Wean Hall 6113
Pittsburgh, PA 15213, USA
“I handle papers in set theory. I strongly prefer electronic submission of PDF files via email.”

Paola D’Aquino
paola.daquino@unicampania.it
Department of Mathematics and Physics
Universita’ della Campania “L. Vanvitelli”
viale Lincoln 5
Caserta 81100, Italy
“I handle papers in model theory.”

Peter Dybjer
peterd@chalmers.se
Department of Computer Science and Engineering
Chalmers University of Technology
SE 412 96 Göteborg, Sweden
“I handle papers in type theory and about the logic and semantics of programs.”

Ali Enayat
enayat@american.edu
Department of Philosophy, Linguistics, and Theory of Science
University of Gothenburg
Box 200, SE 405 30, Gothenburg, Sweden
“I handle papers related to the metamathematics of first and higher order arithmetic and set theory, especially their model theory.”

Leonid Libkin
libkin@inf.ed.ac.uk
School of Informatics
University of Edinburgh
Edinburgh, EH8 9AB, UK
“I handle papers in applications of logic in computer science.”

Øystein Linnebo
oystein.linnebo@ifikk.uio.no
Department of Philosophy, IFIKK
0315 Oslo, Norway
“I handle papers in philosophical logic and the philosophies of logic and mathematics.”

Arno Pauly
arno.m.pauly@gmail.com
School of Mathematics and Computer Science
Swansea UniversityBay CampusSwansea SA1 8EN, UK
“I handle papers on computability, descriptive set theory, and constructive mathematics.”