万维提示：
1、投稿方式：在线投稿。
2、期刊网址：
https://www.journals.elsevier.com/annals-of-pure-and-applied-logic/
https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic
3、投稿网址：https://www.editorialmanager.com/APAL
4、官网邮箱：kohlenbach@mathematik.tu-darmstadt.de（编辑）
（更多编辑邮箱如下投稿须知内信息）
5、期刊刊期：一年出版10期。
2022年1月7日星期五
投稿须知【官网信息】
Guide for Authors
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.
Contact Details for Submission
Contributions, preferably in English, may be submitted to any Editor but it is preferred you select the Editor closest to your subject matter. If you are unsure of which Editor to use, please choose one of the Coordinating Editors. Please submit in electronic format, using TeX and preferably the macros of APAL. Final decision for publication will be taken by the handling Editor. Each paper should be introduced by a (short) self-contained abstract without long formulae.
Coordinating Editors:
Ulrich Kohlenbach
Proof Theory, Constructive Mathematics, Logic in Analysis
Email address: kohlenbach@mathematik.tu-darmstadt.de
Thomas Scanlon
Model Theory
Email address: scanlon@math.berkeley.edu
Philip Scott
Categorical Logic and Proof Theory, Linear Logic, Lambda Calculi, Modal and Many-valued Logics, Theoretical Computer Science
Email address: phil@site.uottawa.ca
Editorial Board:
Arnold Beckmann
Proof Theory, Proof Complexity, Logic in Computer Science
Email address: a.beckmann@swansea.ac.uk
Natasha Dobrinen
Set Theory
Email address: natasha.dobrinen@du.edu
J.M.E. Hyland
Categorical Logic, Lambda Calculus, Higher Type Recursion Theory, Linear Logic
Email address: martin@dpmms.cam.ac.uk
A. Nies
Computability and its ramifications, Reverse Mathematics, Complexity Theory
Email address: andre@cs.auckland.ac.nz
Keita Yokoyama
Japan Advanced Institute of Science and Technology Graduate School of Knowledge Science, Japan
Email address: y-keita@jaist.ac.jp
Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information. No page charge is made. Please note that typesetting costs of author's corrections in proof, other than the printer's errors, will be charged to the author. The manuscript should be prepared for publication in accordance with the instructions given below:
……
更多详情：
https://www.elsevier.com/journals/annals-of-pure-and-applied-logic/0168-0072/guide-for-authors
