Logic Journal of 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教授许可出版。