?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Relational+Formulation+of+the+Theory+of+Types&rft.creator=Muskens%2C+Reinhard&rft.subject=Philosophy+of+Language&rft.subject=Semantics&rft.subject=Logic&rft.description=This+paper+developes+a+relational---as+opposed+to+a+functional---theory+of+types.+The+theory+is+based+on+Hilbert+and+Bernays'+eta+operator+plus+the+identity+symbol%2C++from+which+Church's+lambda+and+the+other+usual+operators+are+then+defined.+The+logic+is+intended+for+use+in+the+semantics+of+natural+language.&rft.date=1989&rft.type=Journal+(Paginated)&rft.type=PeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F4703%2F1%2Frelform.pdf&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F4703%2F2%2Frelform.ps&rft.identifier=++Muskens%2C+Reinhard++(1989)+A+Relational+Formulation+of+the+Theory+of+Types.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F4703%2F