This journal publishes research on formal logic, including non-classical logics such as paraconsistent, intuitionistic, and hybrid logics. Articles explore algebraic structures related to logic, proof systems, and the foundations of mathematics, including set theory and arithmetic. The scope also encompasses the philosophical underpinnings of logic, paradoxes, and the relationship between formal and informal provability.
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Articles published
Times cited
2019
2020
2021
2022
2023
2024
2025
2026
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.
PhilosophyQ2
LogicQ3
Subject Classification
Web of Science Categories
LogicMathematicsMathematics, Applied
Scopus Categories
PhilosophyLogic
Research Topics (OpenAlex)
Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systemsSemantic Web and OntologiesMulti-Agent Systems and NegotiationFormal Methods in Verificationsemigroups and automata theoryRough Sets and Fuzzy LogicComputability, Logic, AI AlgorithmsPhilosophy and Theoretical Science