| 收稿范围 |
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.
The Bulletin of Symbolic Logic primarily publishes two types of papers: Articles presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic.
The Bulletin also publishes a Reviews Section (edited by Steve Awodey) and reports of ASL meetings, Notices of interest to logicians, and the annual listing of ASL officers, Council members, committee members, and individual and institutional members of the Association.
|
| 编辑信息 |
EditorMatthias Baaz, Technische Universität Wien, Austria
matthias.baaz@tuwien.ac.at James Cummings, Carnegie Mellon University, USA
jcumming@andrew.cmu.edu Paola D’Aquino, Universita' della Campania "L. Vanvitelli", Italy
paola.daquino@unia2.it Peter Dybjer, Chalmers University of Technology
peterd@chalmers.se Ali Enayat, University of Gothenburg, Sweden
ali.enayat@gu.se Professor Leonid Libkin, University of Edinburgh, UK
libkin@inf.ed.ac.uk Øystein Linnebo, University of Oslo, Norway
oystein.linnebo@ifikk.uio.no Editor, Reviews SectionThomas Colcombet, Institut de Recherche en Informatique Fondamentale, France Professor Clinton Colney - Managing Editor, Reviews, Carnegie Mellon University, USA
clintonc@andrew.cmu.edu Professor Samuel Coskey, Boise State University, USA Bradd Hart, McMaster University, Canada Bernard Linsky, University of Alberta, Canada Antonio Montalbán, University of California, Berkley, USA Professor Rahim Moosa, University of Waterloo, Canada Christian Retoré, Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier, France Professor Nam Trang, University of California, Irvine, USA
ntrang@uci.edu Mark van Atten, Université Paris 1, France Benno van den Berg, Universiteit van Amsterdam, The Netherlands Editor, Thesis AbstractsChristian Rosendal
|
京公网安备 11010802027423号