KNAW

Publication

The existence property in the presence of function symbols (2008) Open access

Pagina-navigatie:
Title The existence property in the presence of function symbols
Published in Logic Group Preprint Series, Vol. 41.
Author Doorman, M.
Date 2008-03-03
Language English
Type Preprint
Abstract We are going to reconsider the existence property in intuitionistic first order logic (IQC) with function symbols, as presented in Dag Prawitz': "Natural Deduction, A Proof Theoretical Study." That is, we will examine its formulation, and try to give a constructive proof of the theorem. I mention in particular the function symbols in IQC, because their presence give rise to a new view on this property. Especially a tool from resolution in automated theorem proving (Gallier [2]) will be necessary for the tightening up of the property.,
Publication http://dspace.library.uu.nl/handle/1874/26411
Persistent Identifier URN:NBN:NL:UI:10-1874-26411
Metadata XML
Repository Utrecht University

Go to page top
Go back to contents
Go back to site navigation