邏輯雜志IGPL各領(lǐng)域發(fā)表論文的純粹與應(yīng)用邏輯,包括純粹的邏輯系統(tǒng),證明理論,模型理論,遞歸理論,理論型,模邏輯,非單調(diào)邏輯、數(shù)值和不確定性推理、邏輯與人工智能、邏輯編程的基礎(chǔ),邏輯與計(jì)算、邏輯和語(yǔ)言,邏輯工程。

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.