Basics
- First course in logic :
- Second course in logic :
- Theory of truth :
- Modal logic:
- Gary Hardegree : Modal logic (several modal frameworks are introduced : propositional, first-order, 2-dimensionnal, 2nd order, scoped terms; etc.)
- F. Veltman and Dick de Jongh : Intensional Logics (.pdf, 109p.)
- P. Blackburn and J. Van Benthem : Modal logic : a semantic perspective (.pdf , 82 p., to appear in the Handbook of modal logic, chap.1)
- J. v. Benthem : A manual of intensional logic (.pdf,147p., Attention: 37Mo )
- D. Bonnay et M. Cozic :La théorie de la correspondance (50 p., .pdf, en français)
- Melvin Fitting :
- R. Muskens : Higher order modal logic (.pdf, 38p., to appear in the Handbook of modal logic)
- Logique des conditionnels :
- Proof theory and substructural logics :
- Samuel Buss : An introduction to proof theory (.pdf, 78p., chap.1 of the Handbook of proof theory)
- J.Y. Girard : Proofs and types(.pdf, 183p., 1987)
- J.Y. Girard : The Blind Spot (.pdf, 500p.)
- Greg Restall : Proof theory and Philosophy (.pdf, 153p., draft )
- Greg Restall : Relevant and substructural logics (.pdf, , 105p., historical perspective)
- A.S. Troelstra : Lectures on Linear logic(.pdf, 215p., Attention : 47Mo)
- Michael Rathjen : The Art of Ordinal Analysis(.pdf, 25p.)
- A.M. Ungar : Normalization, cut-elimination, and the theory of proofs(.pdf, 240p.)
- Consequence relations :
- Arithmetic and metamathematics:
- Many-valued logic:
- Linguistics and formal semantics :
- Grammars :
|
Advanced
- Model theory, set theory, calculability :
- Proof-theory :
- Lambda-calculus :
- Arithmetics:
- Weak arithmetic :
- Second-order arithmetic - Reverse mathematics:
- Modal logics :
- Reflection principles:
- Infinitary logic and admissible sets :
- Algebra :
- Stanley N. Burris et H.P. Sankappanavar : A course in universal algebra (.pdf, 331p, millenium edition)
- Lattices and order :
- Galois connections :
- M. Erné, J. Koslowski, A. Melton and G.E. Strecker : A primer on Galois Connections (.ps, 22p.)
- R. Backhouse : Galois connections and fixed point calculus
(.pdf, 105p., 2001. Chapter 4 of : Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000. Revised Lectures, Springer Verlag LNCS)
|