[ontolog-forum] type free logic and higher order quantification

[Rick Murphy <rick@xxxxxxxxxxxxxx>]

Hey All:    (01)

Long time no ont.    (02)

I am researching type free logics with higher order quantification. I
would like to read some (free) academic research on this topic and
wondered whether anyone could point me at published papers.    (03)

Google only matches six documents on the terms "type free logic" and
"higher order quantification".     (04)

Research here seems thin, probably my ignorance.    (05)

Chris I have read your paper. The references don't seem to point at
direct prior research on these combined subjects.    (06)

--
Rick    (07)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (08)