Dear all, I have written a short document about the FOL in the axioms. Wolfgang has sent a few emails to the list regarding the issue. You will find links and my HW in
https://docs.google.com/<https://docs.google.com/document/d/1OyRrIAIZ52QrLrgABW3sqfzaQXKcvE9c8CHW4P4Mod4>document/d/1OyRrIAIZ52QrLrgABW3sqfzaQXKcvE9c8CHW4P4Mod4<https://docs.google.com/document/d/1OyRrIAIZ52QrLrgABW3sqfzaQXKcvE9c8CHW4P4Mod4> See you next week, Christian-Emil
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig