Journal of Symbolic Logic 50 (1):91-93 (1985)
AbstractHofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist
Added to PP
Historical graph of downloads
Similar books and articles
Dividing Things Up: The Semantics of or and the Modal/or Interaction.Mandy Simons - 2005 - Natural Language Semantics 13 (3):271-316.
A Remark on Henkin Sentences and Their Contraries.John P. Burgess - 2003 - Notre Dame Journal of Formal Logic 44 (3):185-188.
A New Semantics for Intuitionistic Predicate Logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
On the Very Idea of a Theory of Meaning for a Natural Language.Eugen Fischer - 1997 - Synthese 111 (1):1-8.