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.

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