Journal Report

ANNALS OF PURE AND APPLIED LOGIC

Download PDF
Journal Information
Journal Title
ANNALS OF PURE AND APPLIED LOGIC
Publisher
ELSEVIER
ISSN
0168-0072
E-ISSN
1873-2461
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
An equiconsistency proof for CZF + V = L
Shuwei Wang
2027-3 Vol. 178 Issue 3 Pages 103842
DOI: 10.1016/j.apal.2026.103842
On matrix rank function over bounded arithmetics
Eitetsu Ken, Satoru Kuroda
2027-3 Vol. 178 Issue 3 Pages 103852
DOI: 10.1016/j.apal.2026.103852
Measure and integration on σ-sublocales
Raquel Bernardes
2027-3 Vol. 178 Issue 3 Pages 103853
DOI: 10.1016/j.apal.2026.103853
Freely adding one layer of quantifiers to a Boolean doctrine
Marco Abbadini, Francesca Guffanti
2027-3 Vol. 178 Issue 3 Pages 103841
DOI: 10.1016/j.apal.2026.103841
Editorial Board
2027-2 Vol. 178 Issue 2 Pages 103846
DOI: 10.1016/s0168-0072(26)00129-6
A consistency theorem for cardinal sequences of length <ω3
Juan Carlos Martínez, Lajos Soukup
2027-2 Vol. 178 Issue 2 Pages 103840
DOI: 10.1016/j.apal.2026.103840
Proof complexity of CSP
Azza Gaysin
2027-2 Vol. 178 Issue 2 Pages 103828
DOI: 10.1016/j.apal.2026.103828
Examples and counterexamples of injective types
Tom de Jong, Martín Hötzel Escardó
2027-2 Vol. 178 Issue 2 Pages 103829
DOI: 10.1016/j.apal.2026.103829
On definably compact semigroups in o-minimal structures
Eduardo Magalhães
2027-2 Vol. 178 Issue 2 Pages 103838
DOI: 10.1016/j.apal.2026.103838
Computable bases
Vasco Brattka, Emmanuel Rauzy
2027-2 Vol. 178 Issue 2 Pages 103839
DOI: 10.1016/j.apal.2026.103839
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 2, 2026 04:27