e刊通

逻辑已经在信息技术的几乎所有方面都得到应用,从软件工程和硬件到编程和人工智能。事实上,逻辑、人工智能和理论计算正在相互影响,以至于逻辑和计算的一个新的跨学科领域正在出现。《逻辑与计算杂志》旨在促进逻辑与计算的发展,其中包括以下感兴趣的领域: 逻辑系统,如经典与非经典逻辑、构造性逻辑、范畴逻辑、模态逻辑、类型论、可行数学……逻辑程序设计中的逻辑问题、基于知识的系统和自动推理; 知识表示中的逻辑问题,如非单调推理和知识信念系统; 程序设计的逻辑和语义; 程序和系统的规范和验证; 逻辑在硬件和VLSI中的应用,自然语言,并发计算,规划,和数据库。大部分内容是科技论文,尽管包括信件、评论、讨论以及相关的会议评论。