tag:blogger.com,1999:blog-6848574.post111763164260827850..comments2024-02-14T04:44:39.043-06:00Comments on Working notes: Paulahttp://www.blogger.com/profile/03653112583629043593noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-6848574.post-1124932156356336322005-08-24T20:09:00.000-05:002005-08-24T20:09:00.000-05:00The relation is :(IMPLIES (AND (R a b) (R a c)) (R...The relation is :<BR/><BR/>(IMPLIES (AND (R a b) (R a c)) (R b c))<BR/><BR/>Sorry for the typo.<BR/><BR/>BenAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1124932068664410762005-08-24T20:07:00.000-05:002005-08-24T20:07:00.000-05:00Hello,Interesting thoughts ! You seem to take inte...Hello,<BR/><BR/>Interesting thoughts ! You seem to take interest in logic from a computational background. I am built the other way around. So here is a little corrigendum of your euclidity definition. If I can express it in LISP-like syntax :<BR/><BR/>(IMPLIES (AND (R a b) (R b c)) (R b c))<BR/><BR/>Stated that way, euclidity relates facts or things with ONE relation.<BR/><BR/>"Belonging to the same family" could be euclidean.<BR/><BR/>The euclidean relation is a way to express the euclidean space in modal logic, just like the axiom 4 could express topology.<BR/><BR/>Best of luck with your researches,<BR/><BR/>Benoit St-Pierre<BR/>University du Québec à MontréalAnonymousnoreply@blogger.com