逻辑学是一门基础性的学科,逻辑学的基本理论是其他学科普遍适用的原则和方法。同时逻辑学又是一门工具性的学科,它为包括基础学科在内的一切科学提供逻辑分析、逻辑批判、逻辑推理、逻辑论证的工具。那么逻辑学SCI期刊有哪些呢?
《HISTORY AND PHILOSOPHY OF LOGIC逻辑的历史与哲学》包含了关于逻辑的历史与哲学的文章、笔记和书评。“逻辑”被理解为当时被认为是逻辑的任何知识卷。“历史”是指古代,也是指本世纪的作品;但是,编辑不会接受关于某个主题的最新作品的文章,包括评论文章。“哲学”指的是广泛而普遍的问题:现在被归类为“哲学逻辑”的专业文章将不会发表。 编辑将考虑关于逻辑与其他知识分支之间关系的文章,但逻辑的组成部分必须是实质性的。
《Journal of Logic Language and Information逻辑、语言和信息》杂志探讨了自然、形式和编程语言的基础,以及人类和机器推理的不同形式。它涵盖了认知科学的逻辑、语言和信息理论部分。 其中主要的子领域是内涵逻辑,包括动态逻辑;非单调逻辑与信念修正建设性的逻辑;逻辑学和语言学中的复杂性问题;逻辑规划与求解的理论问题范畴语法与类型理论广义量化;情境语义、话语表征理论、动态语义等语义结构的信息化理论逻辑和语言结构的连接主义模型。 该杂志为对这些学科的理论基础及其跨学科联系感兴趣的研究人员提供了一个论坛。 这是逻辑、语言和信息协会的官方出版物。
《THEORY AND PRACTICE OF LOGIC PROGRAMMING》逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。 逻辑程序设计适用于人工智能和计算机科学的所有领域,并且是它们的基础。 涵盖的主题包括使用逻辑编程的AI应用程序,逻辑编程方法,系统的规范,分析和验证,归纳逻辑编程,多关系数据挖掘,自然语言处理,知识表示,非单调推理,语义Web推理, 数据库,实现和体系结构以及约束逻辑编程。
《JOURNAL OF LOGIC AND COMPUTATION逻辑与计算》杂志旨在促进逻辑与计算的发展,其中包括以下几个领域的兴趣:逻辑系统,如古典与非古典逻辑、建构逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题,如非单调推理和知识信念系统;编程的逻辑和语义;程序和系统的说明和验证;逻辑在硬件和超大规模集成电路、自然语言、并行计算、规划和数据库中的应用。大部分内容是技术科学论文,不过也包括信件、评论、讨论以及相关的会议评论。