Monday, July 31, 2006

The "logic" page of Theorem(e) has been improved and links have been updated.

Sunday, July 16, 2006

SOPHA 2006

Le colloque tri-annuel de la Société de philosophie analytique se tiendra à la rentrée, les 1, 2, et 3 septembre 2006. Informations ici.

Friday, July 14, 2006

Proof-theory

Jean Yves Girard has two textbooks on the web :

Jean Yves Girard, Yves Lafont and Paul Taylor: Proofs and types (175 p.).
("Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7")

Jean Yves Girard: The blind spot (.pdf , 500 p.)
(Complete english version of a book to be published soon (in french) - From Lectures on proof-theory, Roma Tre, October-December 2004 ).

Many-valued logic (3)

Walter Carnielli : Many-valued Models (one of the tutorials offered at the 1st World Congress and School on Universal Logic (2005)).

[see the reference post for many-valued logics]

Sunday, July 02, 2006

Brian Hill

Le lundi 3 juillet 2006, Brian HILL soutiendra sa thèse (sous la direction de Jacques Dubucs), intitulée :
Jouer avec le faux. Recherches sur les processus mentaux à l'œuvre dans la lecture des textes de fiction.
[Informations complémentaires (jury, abstract) ici].
La soutenance aura lieu salle J. B. Duroselle à la Sorbonne (galerie Dumas).