Aim & Scope
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. [1]
Continuations / Journal History
| ( 1995 - 1996 ) | Journal of the Interest Group in Pure and Applied Logics | ( 1997 - 9999 ) | Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) |
2024
Hyperarithmetical complexity of infinitary action logic with multiplexing
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Security in advanced metering infrastructures: Lightweight cryptography
L Hernández-Álvarez , J Bullón Pérez , A Queiruga-Dios
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Axiomatization of modal logic with counting
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices
M Jukiewicz , M Nasieniewski , Y Petrukhin , V Shangin
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Embedded feature selection for neural networks via learnable drop layer
M JimÉnez-Navarro , M MartÍnez-Ballesteros , I Brito , ... , G Asencio-CortÉs
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
D Simić , Z Banković , J Villar , ... , S Simić
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
The d-elements of precoherent preidempotent quantales and their applications
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Structural analysis of code-based algorithms of the NIST post-quantum call
M GonzÁlez de la Torre , L Encinas , J GarcÍa
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024
Labelled proof systems for existential reasoning
J Ramos , J Rasga , C Sernadas
Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) , 2024