Read This Journal
Advance AccessBrowse the Archive
Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion
theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations
of logic programming, logic and computation, logic and language, and logic engineering.
Logic Journal of the IGPL has traditionally published papers in all areas of pure and applied logic. This year we now include papers on algorithms in cognition, informatics and logic. This exciting development also sees a new team of Editors-in-Chief working on the journal:
A. Amir, D. M. Gabbay, G. Gottlob, R. de Queiroz, and J. Siekmann.
Highly downloaded articles FREE online
Now incorporating Algorithms in Logic and Cognitive Systems!
We are delighted to announce that the first issue on algorithms in cognition, informatics and logic has now published online. We have made the editorial foreword for this issue freely available, as well as Dowek, Gabbay and Mulligan’s article on permissive nominal terms Click through for access.