Levels of truth

DOI10.1305/ndjfl/1040248454zbMath0836.03033OpenAlexW2042433712MaRDI QIDQ1903585

Andrea Cantini

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

zbMATH Keywords

second order arithmeticpredicative analysisformal theory of truthfunctional abstractioninteraction between formal semantics and the foundations of mathematicsprimitive truth predicatetruth approximationstype-free comprehension

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Universes over Frege structures

Uses Software

• Isabelle

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