[ontolog-forum] Common Logic and decimal numerals

[Jawit Kien <jawit.kien@xxxxxxxxx>]

In http://www.ihmc.us/users/phayes/CL/SW2SCL.html
there is a phrase:

> Common Logic treats decimal numerals as a 'datatyped' category which are required

> to denote their numerical values. We can think of a numeral such as 345 in CL as

> being an abbreviation of the datatyped term using xsd:integer applied to the numeral string:

> (= 345 (xsd:integer '345'))

> with the corresponding set of datatyped axioms.

> (It is not possible to express the general form of this in CL since there is no way to

> quantify into CL quoted strings. A future version of CL may provide this functionality.)

> This alone does not provide any arithmetic functionality in CL, but we will assume in

> addition that the operations of addition and multiplication, and the numerical ordering

> relationship are defined on numerals as CL functions plus and times and the binary

> relations lesseq and less. We can consider this to be an infinite set of axioms

> analagous to a datatype theory, consisting of all the true equations of the form

My question is, did the future version of Common Logic provide the functionality
to quantify into Common Logic quoted strings ?

JK
_________________________________________________________________
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    (01)