您当前的位置:主页 > 期刊问答 > 正文

逻辑学sci期刊有哪些

作者:核心期刊目录查询 发布时间:2021-06-28

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

  逻辑学是关于推理和论证的科学,它的主要任务是提供识别有效的推理、论证与无效的推理、论证的标准,并教会人们正确地进行推理和论证,识别、揭露和反驳错误的推理和论证。那么逻辑学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逻辑的历史与哲学》包含了关于逻辑的历史与哲学的文章、笔记和书评。“逻辑”被理解为当时被认为是逻辑的任何知识卷。“历史”是指古代,也是指本世纪的作品;但是,编辑不会接受关于某个主题的最新作品的文章,包括评论文章。“哲学”指的是广泛而普遍的问题:现在被归类为“哲学逻辑”的专业文章将不会发表。 编辑将考虑关于逻辑与其他知识分支之间关系的文章,但逻辑的组成部分必须是实质性的。

上一篇:电影艺术杂志是c刊吗
下一篇:冶金与材料是什么级别期刊

2018年中文核心期刊目录查询通道