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.

Guram Bezhanishvili
guram@nmsu.edu
Department of Mathematical Sciences
New Mexico State University
Las Cruces NM 88003
“I handle papers in non-classical logics, including their algebraic, categorical, and topological semantics.”

Katalin Bimbóbimbo@ualberta.ca
University of AlbertaDepartment of Philosophy2-40 Assiniboia HallEdmonton, AB T6G 2E7, Canada
“I handle papers in relevance, modal, 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.”

Peter Fritz
p.fritz@ucl.ac.uk
Department of Philosophy
University College London
Gower Street
London, WC1E 6BT, UK
“I handle papers in philosophical logic and the philosophy of logic.”

Salma Kuhlmann
salma.kuhlmann@uni-konstanz.de
Fachbereich Matematik und Statistik
Universität Konstanz
Konstanz 78457 Germany
“I handle papers in ordered and valued algebraic structures, in particular lexicographic orderings, ordered groups, valued vector spaces, integer parts of ordered fields, fields of generalised formal power series.”

Keng Meng (Selwyn) Ng
kmng@ntu.edu.sg
Division of Mathematical Sciences
School of Physical and Mathematical Sciences
Nanyang Technological University
21 Nanyang Link
Singapore 637371
” I handle paper in computability theory and all areas of effective mathematics”.

Daniela Petrisan
petrisan@irif.fr

Elaine Pimentel
e.pimentel@ucl.ac.uk
Department of Computer Science, Room 3.11
66-72 Gower Street
University College London
London, WC1E 6BT, UK
“I handle papers in proof theory, concurrency theory, ecumenical systems, game semantics, proof-theoretic semantics, logical frameworks, linear logic, modal logics, intersection types and lambda-calculus.”

Henry Towsner
htowsner@math.upenn.edu
Department of Mathematics
David Rittenhouse Lab
209 South 33rd Street
Philadelphia, PA 19104-6395 USA
“I handle papers in proof theory or model theory.”