逻辑与计算杂志 SCIE

期刊简介预计审稿时间： 较慢,6-12周

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.

The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

逻辑几乎应用于信息技术的所有方面，从软件工程和硬件到编程和人工智能。事实上，逻辑、人工智能和理论计算相互影响，以至于一个新的跨学科领域“逻辑与计算”正在兴起。

《逻辑与计算杂志》旨在促进逻辑和计算的发展，其中包括以下感兴趣的领域：逻辑系统，例如经典和非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、知识型系统和自动推理中的逻辑问题；知识表示中的逻辑问题，例如非单调推理和知识与信念系统；编程的逻辑和语义；程序和系统的规范和验证；逻辑在硬件和 VLSI、自然语言、并发计算、规划和数据库中的应用。大部分内容是技术科学论文，但也包括信件、评论和讨论以及相关的会议评论。

《Journal Of Logic And Computation》(逻辑与计算杂志)编辑部通讯方式为OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。