Hierarchies of Tarskian truth predicates
Nik Weaver
TL;DR
This paper explores the development of hierarchies of non self-applicative Tarskian truth predicates, extending the logical framework beyond the limitations of Gamma_0.
Contribution
It introduces new hierarchical structures of truth predicates that go beyond previous boundaries set by Gamma_0.
Findings
Established hierarchies extend the scope of truth predicate theories.
Demonstrated the consistency of these hierarchies.
Provided a framework for future exploration of non self-applicative truth predicates.
Abstract
Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms