|
|
The Review of Symbolic Logic - Submissions
See the RSL Guidelines for information
on how to submit an article for publication in The Review of Symbolic Logic.
Editorial Staff
Editors:
Jeremy Avigad, Coordinating Editor
Proof theory
Philosophy, history, and methodolgy of mathematics
Formal verification and automated reasoning
Rosalie Iemhoff
Proof theory
Non-classical logics
Constructive theories
Carsten Lutz
Modal Logic
Applications of logic in computer science
Applications of logi in artificial intelligence
Paolo Mancosu
Philosophy and methodology of mathematics
History of logic (especially Hilbert, Bernays)
Philosophy of logic
History of philosophy of logic (especially Tarski, Carnap and Quine)
Philosophical logic
Graham Priest
Non-classical logic
Relevant and paraconsistent logic
History of logic
Metaphysics and epistemology of logic
Logical paradoxes
Philosophy of mathematics
Ian Proops
History of philosophy of logic (especially Kant, Frege, Russell, and Wittengenstein
Alasdair Urquhart
Relevance logic, substructural logics, proof complexity
History of logic (especially Russell), algebraic logic
Richard Zach
History of logic (especially Russell, Hilbert, Bernays, Tarski and Gödel)
History of philosophy of logic (especially Carnap)
Philosophy of logic and mathematics
Philosophical logic
Advisory Board:
Steven Awodey
Category theory
Philosophy and methodology of mathematics
History and philosophy of logic (especially Bernays and Carnap)
Hartry Field
Philosophy of mathematics
Philosophy of logic
Philosophical logic
Kit Fine
Philosophical logic
Philosophy of logic and mathematics
Michael Friedman
History of philosophy of logic (especially Kant, the neo-Kantians, Frege, Wittgenstein, Carnap and Quine)
Philosophy of logic and mathematics
Marcus Kracht
Philosophical Logic
Applications of logic in linguistics
John MacFarlane
Philosophy of logic
History of philosophy of logic (especially Kant and Frege)
Philosophical logic
Philosophy of mathematics
Ruth Barcan Marcus
Philosophical logic
Philosophy of logic
D. A. Martin
Philosophy of mathematics
Philosophy of logic
Philosophical logic
Lawrence Moss
Philosophical logic
Applications of logic in computer science, linguistics, artificial intelligence and other areas
Ulrike Sattler
Philosophical logic
Applications of philosophical logic to computer science and formal ontology
Colin Stirling
Philosophical logic
Applications of philosophical logic in computer science
James Tappenden
Philosophy and methodology of mathematics
Philosophy of logic
History of philosophy of logic (especially Frege)
Philosophical logic
Johan van Benthem
Philosophical logic
Applications of logic to natural language, computer science, game theory
Philosophy of logic
History of logic
Michiel van Lambalgen
Philosophical logic
Applications of philosophical logic to natural language and cognitive science
Dag Westerstahl
Philosophical logic
Applications of logic to natural language
Mark Wilson
Philosophy of applied mathematics
Philosophy of logic
History of philosophy of logic (especially Frege)
Crispin Wright
Philosophy of mathematics
Philosophy of logic
History of philosophy of logic (especially Frege and Wittgenstein)
Philosophical logic
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]