Scope of the Journal
The journal Annals of Pure and Applied Logic publishes high quality papers in all areas of mathematical logic as well as applications of logic in mathematics, in theoretical computer science and in other related disciplines. All submissions to the journal should be mathematically correct, well written (preferably in English)and contain relevant new results that are of significant interest to a substantial number of logicians. The journal also considers submissions that are somewhat too long to be published by other journals while being too short to form a separate memoir provided that they are of particular outstanding quality and broad interest. In addition, Annals of Pure and Applied Logic occasionally publishes special issues of selected papers from well-chosen conferences in pure and applied logic.

Benefits to authors
We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.

Please see our Guide for Authors for information on article submission.

This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.

If you require any further information or help, please visit our Support Center

Papers

Coordinating Editors
Ulrich Kohlenbach
Dept. of Mathematics, Technische Universität Darmstadt, Germany Email Ulrich Kohlenbach Proof Theory, Constructive Mathematics, Logic in Analysis
Thomas Scanlon
Dept. of Mathematics, University of California at Berkeley, USA Email Thomas ScanlonModel Theory (handles also papers in Algebraic Logic)
Philip Scott
Dept. of Mathematics and Statistics, University of Ottawa, Canada Email Philip ScottCategorical Logic and Proof Theory, Linear Logic, Lambda Calculi, Modal and Many-valued Logics, Theoretical Computer Science
Editors
Arnold Beckmann
Computer Science, Office 402, Fourth Floor, Bay Campus, Swansea University, UK Email Arnold Beckmann
Martin Hyland
Centre for Mathematical Sciences, Dept. of Pure Mathematics & Mathematical Statistics, University of Cambridge, UK Email Martin Hyland Categorical Logic, Lambda Calculus, Higher Type Recursion Theory, Linear Logic
André Nies
Dept. of Computer Science, University of Auckland, New Zealand Email André NiesComputability and its ramifications, Reverse Mathematics, Complexity Theory
Kazuyuki Tanaka
Mathematical Institute, Tohoku University, Japan Email Kazuyuki Tanaka Foundations of Mathematics, Recursion Theory and Models of Arithmetic
Editors Emeriti
S Artemov
C.C. Chang
J.E. Fenstad
J.-Y. Girard
Y. Gurevich
J. Hartmanis
T. Jech
A. Kechris
P. Kolaitis
K. Kunen
I. Moerdijk
A. Mostowski
I. Neeman
A. Nerode
A. Prestel
M.O. Rabin
H. Roger, Jr.
R. Soare
D. van Dalen
A.J. Wilkie
Publisher
Giovanni Raneri
Elsevier BV, Amsterdam, Netherlands Email Giovanni Raneri