收稿范围 |
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.
|
编辑信息 |
Coordinating Editors Ulrich KohlenbachDept. of Mathematics, Technische Universität Darmstadt, Germany Email Ulrich Kohlenbach Proof Theory, Constructive Mathematics, Logic in AnalysisThomas ScanlonDept. of Mathematics, University of California at Berkeley, USA Email Thomas ScanlonModel Theory (handles also papers in Algebraic Logic)Philip ScottDept. 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 ScienceEditors Arnold BeckmannComputer Science, Office 402, Fourth Floor, Bay Campus, Swansea University, UK Email Arnold BeckmannMartin HylandCentre 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 LogicAndré NiesDept. of Computer Science, University of Auckland, New Zealand Email André NiesComputability and its ramifications, Reverse Mathematics, Complexity TheoryKazuyuki TanakaMathematical Institute, Tohoku University, Japan Email Kazuyuki Tanaka Foundations of Mathematics, Recursion Theory and Models of ArithmeticEditors Emeriti Publisher
|