逻辑学sci期刊有哪些

　　逻辑学是关于推理和论证的科学，它的主要任务是提供识别有效的推理、论证与无效的推理、论证的标准，并教会人们正确地进行推理和论证，识别、揭露和反驳错误的推理和论证。那么逻辑学sci期刊有哪些呢?

　　《THEORY AND PRACTICE OF LOGIC PROGRAMMING》逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。 逻辑程序设计适用于人工智能和计算机科学的所有领域，并且是它们的基础。 涵盖的主题包括使用逻辑编程的AI应用程序，逻辑编程方法，系统的规范，分析和验证，归纳逻辑编程，多关系数据挖掘，自然语言处理，知识表示，非单调推理，语义Web推理， 数据库，实现和体系结构以及约束逻辑编程。

　　《Journal of Logic Language and Information逻辑、语言和信息》杂志探讨了自然、形式和编程语言的基础，以及人类和机器推理的不同形式。它涵盖了认知科学的逻辑、语言和信息理论部分。 其中主要的子领域是内涵逻辑，包括动态逻辑;非单调逻辑与信念修正建设性的逻辑;逻辑学和语言学中的复杂性问题;逻辑规划与求解的理论问题范畴语法与类型理论广义量化;情境语义、话语表征理论、动态语义等语义结构的信息化理论逻辑和语言结构的连接主义模型。

　　《JOURNAL OF LOGIC AND COMPUTATION逻辑与计算》杂志旨在促进逻辑与计算的发展，其中包括以下几个领域的兴趣:逻辑系统，如古典与非古典逻辑、建构逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题，如非单调推理和知识信念系统;编程的逻辑和语义;程序和系统的说明和验证;逻辑在硬件和超大规模集成电路、自然语言、并行计算、规划和数据库中的应用。大部分内容是技术科学论文，不过也包括信件、评论、讨论以及相关的会议评论。

　　《HISTORY AND PHILOSOPHY OF LOGIC逻辑的历史与哲学》包含了关于逻辑的历史与哲学的文章、笔记和书评。“逻辑”被理解为当时被认为是逻辑的任何知识卷。“历史”是指古代，也是指本世纪的作品;但是，编辑不会接受关于某个主题的最新作品的文章，包括评论文章。“哲学”指的是广泛而普遍的问题:现在被归类为“哲学逻辑”的专业文章将不会发表。 编辑将考虑关于逻辑与其他知识分支之间关系的文章，但逻辑的组成部分必须是实质性的。