首页/论文/1703.03391

arXiv 1703.033912017-03math.LOcs.LO

信息不完全的一阶逻辑

First-order logic with incomplete information

Antti Kuusisto

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们开发了一阶逻辑和一些扩展不完全信息的情况下，并考虑相关的复杂性问题。

英文摘要：

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

机械化哥德尔不完备定理与可证性逻辑

Mechanizing Gödel's Incompleteness Theorems and Provability Logic

Tohoku University（东北大学）；Kobe University（神户大学）

该研究在Lean 4中形式化验证了哥德尔不完备定理及可证性逻辑GL的Solovay完备性，为数学基础提供机器证明。

2026-09-16cs.LOmath.LO

基于非经典逻辑的哥德尔第二不完全性定理的一些抽象形式

Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics

我们研究哥德尔第二不完备性定理的抽象版本，并制定了Löb的可导性条件的推广，适用于比经典逻辑弱的逻辑。我们隔离哥德尔定理中的收缩规则的作用，并给出一个基于模态逻辑的系统的（玩具）例子，没有收缩使哥德尔的论点无效。

2016-02-18math.LO

形式化弱逻辑中的集合论，寻找具有哥德尔不完备性的最弱逻辑

Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property

我们证明了一阶逻辑可以转化为一个非常简单的弱逻辑，从而集合论可以在这个弱逻辑中形式化。这个弱逻辑系统等价于具有三个交换补闭包算子的布尔代数的方程理论，即，无对角三维柱形代数（Df_3's）的性质。等价地，集合论可以用3个交换S5模态（即，在多模态逻辑[S5，S5，S5]中）。有许多后果，例如，由自由子空间生成的Df_3不是原子的，[S5，S5，S5]具有哥德尔不完全性.这里报告的结果是书中主要结果的有力改进：Tarski，A.和Givant，S. R.，形式化无变量的集合论，AMS，1987年。

2011-11-03math.LO

一阶逻辑某些可判定形式的弱Godel不完全性

Weak Godel's incompleteness property for some decidable versions of first order logic

阿尔弗雷德·塔斯基创立的柱形代数理论是一种有意识的努力，试图用一阶谓词演算来创建代数。令$n\inω$。István Németi证明了非交换柱形代数类（$NCA_n$）和弱柱形代数类（$WCA_n$）是具有$n$变量的一阶逻辑的可判定版本的例子。在这篇文章中，我们给出了这些类的方程理论的可判定性的新证明。我们也给出了一个答案的开放问题，所提出的Németi在1985年，解决原子性的生成这些类的自由代数。证明了簇$NCA_n$和簇$WCA_n$的所有生成自由代数都不是原子代数.换句话说，我们证明了一阶逻辑的相应版本具有弱哥德尔不完备性。

2015-11-16math.LO

数理逻辑导论-问题解决课程

Introduction to mathematical logic - A problem solving course

这是一套288道题，为摩尔式的数理逻辑课程而写。我在一门研究生入门课程中使用过四次这些（或一些变体）。涵盖的主题包括：ZFC的命题逻辑公理以及AC序数和基数算术的等价物一阶逻辑，以及紧致性定理Lowenheim-Skolem定理图灵机，Church的论文完备性定理和第一不完备性定理不可判定理论第二不完备性定理

1996-01-16math.LO

哥德尔的遗产：重新审视逻辑

The Goedel's legacy: revisiting the Logic

揭示了逻辑学基本主题的一些常见谬误：第一和第二不完全性定理的解释，Chaitin的各种肤浅性和公理化理论在其语言顺序功能中的通常分类。

2013-05-01math.LO

更多相关论文收起更多论文

数学不完备性导致一阶皮亚诺算术：早期历史的修正主义观点

Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History

在《数理逻辑手册》中，拉姆齐定理的巴黎-哈林顿变体被认为是对一阶算术中纯数学不完备性结果的长期“搜索”的第一个结果。本文质疑任何这样的搜索的存在和巴黎哈林顿结果的地位作为第一个数学不完全性结果。事实上，我认为根岑给出了第一个这样的结果，并且古德斯坦以数论形式重申了这个结果。

2021-02-25math.LO

关于第一阶Belnap-Dunn逻辑的普通扩展

On an ordinary expansion of first-order Belnap-Dunn logic

Informatics Institute, Faculty of Science, University of Amsterdam（阿姆斯特丹大学科学学院信息学研究所）

本文提出了一种第一阶Belnap-Dunn逻辑的扩展，通过经典逻辑等价律区分其与其他逻辑，并探讨其在处理归纳机器学习中的不一致和不完整性方面的潜力。

2026-03-03cs.LOmath.LO

泛代数与数理逻辑

Universal Algebra and Mathematical Logic

本文在泛代数的框架内，利用在前三篇论文中发展起来的克隆理论，解释了一阶逻辑。我们首先定义一个一阶语言L的项在参数集C上的自由克隆T（L，C）。T（L，C）上公式的自由右代数F（L，C）则由原子公式生成。C上L的结构表示为F（L，C）的完美赋值，而L的理论表示为F（L）的滤子。最后，如预期的那样陈述了哥德尔完备性定理和第一不完备性定理。

2011-04-24cs.FLcs.LOmath.LO

可证性逻辑GLP的拓扑完备性

Topological completeness of the provability logic GLP

众所周知，GLP的可证明性逻辑是不完整的。Kripke语义学GLP的自然拓扑语义将模态解释为多拓扑空间的导算子。满足GLP所有公理的空间称为GLP-空间。我们开发了一些建设，以建立非平凡GLP-空间，并表明GLP是完全的w.r.t.所有GLP-空间的类。

2011-06-28math.GNmath.LO

论 Belnap-Dunn 四值逻辑与 Nelson 弗协调逻辑 N4 的泛自由一阶扩张

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4

本文提出 Belnap-Dunn 四值逻辑和 Nelson 弗协调逻辑 QN4 的泛自由一阶扩张 FFDE 和 FN4，通过引入 Kripke 风格变域语义、空域和空名，更好地表示了数据库中不一致与不完备信息随时间的动态发展。

2024-12-27math.LO