GetFUN good news

So I have been helping to write a twinning logic research project between Brazil and Europe, in the shape of Portugal, Italy, Romania and Israel(!?...).

Just heard that it has been accepted, yay!
Great job Carlos Caleiro and Joao Marcos!

A week of intense work...

Bit of good news, Cristina Sernadas invited me to the editorial board of Cadernos de Lógica e Computação College Publications.  

Back from NASSLLI

NASSLLI2012 was great, too many great courses to follow, too many interesting people to chat to, too little time to do everything.

Now I realize that I haven't been paying any attention to recording/collecting stuff that I have been doing and, age being what it is, I forget what I have done. and also what I have not done yet...

so I will try another round of blog-post-its, in the hopes that when I finally get my Bham account unlocked and my G'sites account working, life will be easier.

First off: Jean-Yves Beziau and Marcelo Coniglio organized a book in honor of Walter Carnielli's 60th Birthday. I did manage to get a paper on constructive modal logic in, yay!

NASSSLLI Intro to Cats: Slides for the five days...

Slides are here.

With apologies for the delay...

Homework 2?

Check this short homework out. Slides after the class.

Category Theory for all, June 18, 2012

The slides for today's lecture are here.

Hopefully a not-crazy-jumping pdf, but instead one that you can go up and down, at your leisure.

Thanks for the patience with the scrolling issues!
And  thanks for the expert diagnostics after the event.

Please do take a look at the post on  references for introductions to Category Theory, if you can. 

Categorical Proof Theory and Linear Logic

These are some very, very old notes from a course I gave in Prague, at  ESSLLI 1996.

The idea was to present enough basic category theory and enough basic proof theory to discuss the categorical modelling of Linear Logic and ... drum roll...introduce  Dialectica Categories.

(and yes, I also had high expectations of understanding enough about models of Linear Logic to be able to discuss them all and write a book, ha...)

 Now I have reduced my expectations and I simply would like to introduce enough category theory to make the categorical modelling of Intuitionistic Logic plausible (before I wanted to do both intuitionistic and linear logic).

But in compensation I would like to do this in four lectures only, as I wanted to keep the 5th lecture to introduce Glue Semantics,  in the style that a linear logician, especially  a budding one, would understand it. At least this is the plan.