Key Metrics
CiteScore 

1.5
Impact Factor 

< 5
SJR 

Q2Logic

SNIP 

1.48
Recommended pre-submission checks
Powered by 

Topics Covered on Annals of Pure and Applied Logic
Annals of Pure and Applied Logic Journal Specifications
| Overview | |
| Publisher | ELSEVIER |
| Language | English |
| Frequency | Monthly |
| General Details | |
| Language | English |
| Frequency | Monthly |
| Publication Start Year | 1983 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Annals of Pure and Applied Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Annals of Pure and Applied Logic
Reflection properties of ordinals in generic extensions
- 1 Oct 2026
- Annals of Pure and Applied Logic
Mind the gap: A conciliating short proof of strong normalization for minimal propositional logic
- 1 Oct 2026
- Annals of Pure and Applied Logic
A classical proof system for quantum unsatisfiability, based on a matrix Nullstellensatz
- 1 Oct 2026
- Annals of Pure and Applied Logic
Non-deterministic algebraic rewriting as adjunction
- 1 Oct 2026
- Annals of Pure and Applied Logic
The power of trees
- 1 Oct 2026
- Annals of Pure and Applied Logic
Games with backtracking options corresponding to the ordinal analysis of PA
- 1 Oct 2026
- Annals of Pure and Applied Logic
Reflection properties of ordinals in generic extensions
- 1 Oct 2026
- Annals of Pure and Applied Logic
Mind the gap: A conciliating short proof of strong normalization for minimal propositional logic
- 1 Oct 2026
- Annals of Pure and Applied Logic
A classical proof system for quantum unsatisfiability, based on a matrix Nullstellensatz
- 1 Oct 2026
- Annals of Pure and Applied Logic
Non-deterministic algebraic rewriting as adjunction
- 1 Oct 2026
- Annals of Pure and Applied Logic
The power of trees
- 1 Oct 2026
- Annals of Pure and Applied Logic
Games with backtracking options corresponding to the ordinal analysis of PA
- 1 Oct 2026
- Annals of Pure and Applied Logic