JOURNAL OF LOGIC AND COMPUTATION

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