| Titel | The existence property in the presence of function symbols |
|---|---|
| Gepubliceerd in | Logic Group Preprint Series, Vol. 41. |
| Auteur | Doorman, M. |
| Datum | 1988-10 |
| Taal | Engels |
| Type | preprint |
| Samenvatting | 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., |
| Publicatie | http://igitur-archive.library.uu.nl/lg/2008-0304-201414/UUin... |
| Persistent Identifier | URN:NBN:NL:UI:10-1874-26411 |
| Metadata | XML |
| Repository | Universiteit Utrecht |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie