Levels of truth
From MaRDI portal
Publication:1903585
DOI10.1305/ndjfl/1040248454zbMath0836.03033OpenAlexW2042433712MaRDI QIDQ1903585
Publication date: 11 December 1995
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040248454
second order arithmeticpredicative analysisformal theory of truthfunctional abstractioninteraction between formal semantics and the foundations of mathematicsprimitive truth predicatetruth approximationstype-free comprehension
Related Items (1)
Uses Software
Cites Work
- A logic of abstraction related to finite constructive number classes
- Proof-theoretical analysis: Weak systems of functions and classes
- Some remarks on extending and interpreting theories with a partial predicate for truth
- The lambda calculus, its syntax and semantics
- The liar paradox
- Logical frameworks for truth and abstraction. An axiomatic study
- Constructive definition of certain analytic sets of numbers
- Toward useful type-free theories. I
- The strength of admissibility without foundation
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- Outline of a Theory of Truth
- Jon Barwise's Papers on Natural Language Semantics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Levels of truth