Journal Title：Logic Journal Of The Igpl

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 is published under licence from Professor Dov Gabbay as owner of the journal.

IGPL 的逻辑期刊发表纯逻辑和应用逻辑所有领域的论文，包括纯逻辑系统、证明论、模型论、递归论、类型论、非经典逻辑、非单调逻辑、数值和不确定性推理、逻辑和人工智能, 逻辑编程基础、逻辑与计算、逻辑与语言、逻辑工程。

IGPL 的逻辑期刊是在 Dov Gabbay 教授作为期刊所有者的许可下出版的。