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
The tolerant learning hierarchy for c.e. sets
Vittorio Cipriani, Martin Ritter, Luca San Mauro
2027-3 Vol. 178 Issue 3 Pages 103854
DOI: 10.1016/j.apal.2026.103854
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
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 7, 2026 17:29