Logic Journal of the IGPL《IGPL逻辑期刊》（双月刊）. Logic Journal of the IGPL is an online only journal publishing 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.