[Crm-sig] about types draft

martin martin at ics.forth.gr
Thu Nov 6 00:39:01 EET 2008

Christian-Emil Ore wrote:
> Dear all,
> I attach a draft of a "about types".
> It is based on the new scopenote, the orignal text, Martin's new and the 
> comments from Erlangen.
> Regards,
> Christian-Emil
> ------------------------------------------------------------------------
> _______________________________________________
> Crm-sig mailing list
> Crm-sig at ics.forth.gr
> http://lists.ics.forth.gr/mailman/listinfo/crm-sig
Dear Christian-Emil,

I like your text.

I have tried to make the cases even more explicit.

The Phrase: "Without this distinction second order concepts is introduced and it is not possible to implement CRM as a decidable logical 
system." is not correct.

There are decidable subsets of second order logic. If we regard the issue as relevant, we can
study in the near future what that means. SIS definitely implements second order concepts
and is decidable. I have written the code myself .... long ago...

Marco may know more details?




  Dr. Martin Doerr              |  Vox:+30(2810)391625        |
  Principle Researcher          |  Fax:+30(2810)391638        |
                                |  Email: martin at ics.forth.gr |
                Center for Cultural Informatics               |
                Information Systems Laboratory                |
                 Institute of Computer Science                |
    Foundation for Research and Technology - Hellas (FORTH)   |
  Vassilika Vouton,P.O.Box1385,GR71110 Heraklion,Crete,Greece |
          Web-site: http://www.ics.forth.gr/isl               |

-------------- next part --------------
A non-text attachment was scrubbed...
Name: About Types_new_MD.doc
Type: application/msword
Size: 31232 bytes
Desc: not available
Url : http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20081106/8f120c7a/attachment-0001.doc 

More information about the Crm-sig mailing list