逻辑与计算杂志

查看此日志

这个逻辑与计算杂志旨在促进逻辑和计算的发展，包括以下感兴趣的领域：逻辑系统，如经典和非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型理论和可行性数学。逻辑编程、基于知识的系统和自动推理中的逻辑问题；知识表示中的逻辑问题，如非单调推理和知识与信念系统；编程的逻辑和语义；程序和系统的规范和验证；逻辑在硬件和VLSI、自然语言、并发计算、规划和数据库中的应用。