Annals of Pure and Applied Logic
Elsevier B.V. · Netherlands
Aims & Scope✦ Inferred from recent articles
The journal publishes research on foundational aspects of logic, including constructive mathematics, proof theory, and computability. It explores abstract structures in model theory, such as ultracategories and Borel clones, and investigates set theory and descriptive set theory, including topics like Ramsey theory and core models. The research often involves formalization and computational content of proofs.
AI-summarised from recent articles · verify on publisher page →
General Information
Submission Info
Ethics & Quality
Think.Check.Submit Compliance
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Subject Classification
Web of Science Categories
Scopus Categories
Research Topics (OpenAlex)
You May Also Like
See all →Data updated: 2026-05-22 · Sources: SJR, DOAJ, OpenAlex, WoS, Crossref