Friday, November 14, 2008

Combinatory logic

There's what appears to be a nice article on combinatory logic up at the Stanford Encyclopedia, authored by Katalin Bimbo. The article briefly mentions Meyer's work on combinators, and it talks about the connection between combinators and non-classical logics. However, it doesn't seem to make explicit the connection between combinators and structural rules in a sequent calculus, which Meyer calls the key to the universe.

Bimbo's website notes that she recently wrote a book with Dunn on generalized galois logics, which looks like it extends the last two chapters of Dunn's algebraic logic text. I'd like to get my hands on that. Time to make a request to the library...

2 comments:

Richard Zach said...

Kata is a she.

Shawn said...

Whoops. Duly noted and corrected.