Annals of Pure and Applied Logic

Annals of Pure and Applied Logic is a peer-reviewed scientific journal focusing on research articles in mathematical logic and its applications. Founded in 1970, the journal publishes original articles, surveys, and short communications addressing foundational and applied problems in logic. It serves as a publishing venue connecting researchers associated with universities, research institutes, and learned societies worldwide.

History

The journal was established in 1970 during a period of growth in formal logic linked to developments at institutions such as Princeton University, University of California, Berkeley, Massachusetts Institute of Technology, University of Oxford, and University of Cambridge. Early editorial leadership included figures with ties to Université Paris-Sud, University of Amsterdam, University of Göttingen, and ETH Zurich, reflecting the journal’s international orientation. Over the decades the journal published work connected to landmark events and programs at Institute for Advanced Study, Mathematical Sciences Research Institute, Centre National de la Recherche Scientifique, and conferences like the International Congress of Mathematicians and workshops organized by European Mathematical Society and Association for Symbolic Logic. Shifts in editorial policy paralleled broader changes at publishers such as Elsevier and responses to initiatives from funding bodies like National Science Foundation, European Research Council, and Deutsche Forschungsgemeinschaft.

Scope and Topics

The journal’s scope emphasizes rigorous work in areas including model theory, proof theory, set theory, recursion theory, computability theory, and connections to algebra, topology, and category theory. Typical subjects intersect with research programs at Stanford University, University of Chicago, Harvard University, Yale University, Columbia University, Brown University, University of Tokyo, University of Toronto, McGill University, and University of British Columbia. Articles often engage with methods from researchers associated with laboratories and centers such as Institut Henri Poincaré, Fields Institute, Max Planck Institute for Mathematics, and Kavli Institute for Theoretical Physics. Specific topics have included large cardinals, forcing, reverse mathematics, type theory, lambda calculus, ordinal analysis, non-classical logics, categorical logic, automata theory, descriptive set theory, and algorithmic randomness, connecting to works by authors around Kurt Gödel, Alan Turing, Alonzo Church, Stephen Cole Kleene, Gerhard Gentzen, Paul Cohen, Dana Scott, Saul Kripke, Haskell Curry, Per Martin-Löf, André Curry, Michael Rabin, Dana Scott (computer scientist), Harvey Friedman, William G. Tait, Joan Bagaria, W. Hugh Woodin, Saharon Shelah, and Menachem Magidor.

Editorial Board and Publisher

The editorial board comprises academics affiliated with universities and institutes such as University of Leeds, University of Paris, University of Milan, University of Barcelona, Stockholm University, University of Barcelona, Humboldt University of Berlin, University of Bonn, Nagoya University, Seoul National University, and Australian National University. The publisher, Elsevier, manages production, distribution, and subscription access, and coordinates peer review workflows used by editorial offices at host institutions including Cornell University, University of Maryland, and University of Helsinki. Editorial processes reflect standards advocated by organizations such as Committee on Publication Ethics, International Mathematical Union, and European Mathematical Society.

Abstracting and Indexing

The journal is indexed in major bibliographic and citation services including Scopus (abstracting and indexing), Web of Science, MathSciNet, Zentralblatt MATH, Google Scholar, and subject databases serving mathematics and logic communities at libraries like British Library, Library of Congress, Bibliothèque nationale de France, and university consortia including CERN, JSTOR, and Project Euclid collaborations. Coverage in these services links the journal to citation metrics and retrieval interfaces used by researchers affiliated with Princeton Plasma Physics Laboratory and national research libraries such as National Diet Library and Deutsche Nationalbibliothek.

Impact and Reception

Papers published in the journal have contributed to advances referenced in monographs and research programs at institutions like Princeton University Press, Cambridge University Press, Springer Verlag, and Oxford University Press. The journal’s articles are cited in work by scholars from departments at University of California, Los Angeles, Rutgers University, University of Illinois Urbana-Champaign, Ohio State University, Pennsylvania State University, Imperial College London, and by research groups funded by agencies including Australian Research Council and Natural Sciences and Engineering Research Council of Canada. Reception among specialists in logic, theoretical computer science, and foundational studies is reflected in citations recorded by Institute for Scientific Information indices and in discussions at conferences organized by Association for Symbolic Logic and European Association for Theoretical Computer Science.

Category:Mathematical journals Category:Logic journals Category:Elsevier academic journals