John, Cameron & All: (01)
I am currently interested in typed languages and the proof interpretation. (02)
On 8/5/2010 8:12 AM, John F. Sowa wrote:
> Leo, Chris, and Jawit,
>
> If you map a strongly typed language like Z to CL with restricted
> quantifiers, the typing information is preserved, and the sentences
> can be mapped back to Z while preserving the typing.
>
> But the definition of strong typing varies from one language to
> another. Some strongly typed languages allow some expressions
> that others would consider false. In CL, all the type violations
> are syntactically correct, but false.
> (03)
I also see that the extended syntax of CGIF, section B.3 in 24707,
provides for the option of a type label. (04)
I've look around some, but haven't found relevant references yet. Would
you be able to provide a pointer to additional information on the use of
optional types in CGIF? (05)
Also, Cameron great work on the Samian Platform and the CLIF validator. (06)
I don't see optional types in 24707 Appendix A. Any plans for including
types in a future Samian release? (07)
>
> John (08)
Rick (09)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|