alpheccar's blog - tag logic http://www.alpheccar.org en 40 science and freedom http://www.alpheccar.org alpheccar's blog - tag logic http://www.alpheccar.org/images/avatar.jpg Logic And Programs One month ago I did not know a lot about logic : just truth tables for some connectives. But, for some time I have been having fun with Haskell and it finally convinced me to use some of my spare time to learn about logic. Of course, you can code in Haskell without knowing a lot about logic, the Curry-Howard isomorphism and all that but it is much more fun to code in Haskell if you know a bit about it. So, thanks to my Christmas vacations, and the fact that being French I have long vacations :-), I read a few papers about logic : classical, intuitionistic, modal, linear etc... This post is an attempt to summarize what I think I have understood and I hope it may be useful to other newbies too.

Read More...

]]> Mon, 08 Jan 2007 13:38:49 -0500 urn:uuid:59 webmaster@alpheccar.org http://www.alpheccar.org/en/posts/show/64 http://www.alpheccar.org/en/posts/show/64#comments computer science haskell logic maths