ontolog-forum
[Top] [All Lists]

## [ontolog-forum] Common Logic and decimal numerals

 To: "[ontolog-forum]" Jawit Kien Tue, 2 Jun 2009 17:17:09 -0500 <9f9644bb0906021517o1dc8c55yd4a62965c16e709c@xxxxxxxxxxxxxx>
 In http://www.ihmc.us/users/phayes/CL/SW2SCL.htmlthere 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 formMy question is, did the future version of Common Logic provide the functionalityto 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) ```
 Current Thread [ontolog-forum] Common Logic and decimal numerals, Jawit Kien <= Re: [ontolog-forum] Common Logic and decimal numerals, Randall R Schulz Re: [ontolog-forum] Common Logic and decimal numerals, David Leal Re: [ontolog-forum] Common Logic and decimal numerals, John F. Sowa Re: [ontolog-forum] Common Logic and decimal numerals, Ed Barkmeyer Re: [ontolog-forum] Common Logic and decimal numerals, David Leal