×

调查逻辑。问题领域的结果和推理。 (英语) Zbl 07538919号

逻辑趋势——Studia Logica图书馆60.查姆:施普林格(ISBN 978-3-031-09705-8/hbk;978-3-331-09708-9/pbk;978-1-031-09706-5/电子书)。第xx页,第272页。,开放存取(2022年)。
初审/出版商描述:这本开放存取的书为超越传统边界的逻辑扩展提供了理由,不仅包括陈述,还包括问题。我们将详细检查此扩展的动机。研究表明,一旦逻辑扩展到问题中,包括逻辑答案和依赖性在内的重要概念就成为蕴涵基本概念的各个方面,因此可以使用逻辑学家的工具箱进行处理,包括模型理论构造和证明系统。
在激励企业后,该书描述了如何使经典命题和谓词逻辑具有探究性,即通过问题保守地扩展,以及由此产生的逻辑在元理论属性和证明系统方面是什么样的。最后,这本书讨论了好奇逻辑和依赖逻辑之间的紧密联系。

MSC公司:

03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
03B45号 模态逻辑(包括规范逻辑)
03B42号 知识和信念的逻辑(包括信念变化)
PDF格式BibTeX公司 XML格式引用
全文: 内政部