Annals of Pure and Applied Logic

Aims & Scope

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.

Metrics & Ranking

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Mathematics, designed to support cutting-edge academic discovery.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• ∑11-Formulae on finite structures

  Citation: 409

  Authors: M.

• Concept lattices and order in fuzzy logic

  Citation: 349

  Authors: Radim

• Uniform proofs as a foundation for logic programming

  Citation: 326

  Authors: Dale, Gopalan, Frank, Andre

• Domain theory in logical form*

  Citation: 296

  Authors: Samson

• Model theory of modules

  Citation: 220

  Authors: Martin

• Infinite games played on finite graphs

  Citation: 195

  Authors: Robert

• Varieties of complex algebras

  Citation: 175

  Authors: Robert

• A game semantics for linear logic

  Citation: 168

  Authors: Andreas

• Fixed-point extensions of first-order logic

  Citation: 167

  Authors: Yuri, Saharon

• The logic of proofs, semantically

  Citation: 157

  Authors: Melvin