This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
I am happy to announce that we will host a workshop on “Geometry and non-classical logics” at the campus of the University of Salerno, from the 5th to the 8th of September. The workshop is one of the events planned…
The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation: Submission deadline: 15 March 2017. Tutorials: Language: Jakub Szymanik…
Page contents News Contents Course material Practicalities News Contents Categories and functors. Universal objects. Natural transformations. Adjoint functors and equivalences. Dualities: Stone, Gelfand, Pontryagin. Course material Harold Simmons. An Introduction to Category Theory. (2011) Cambridge University Press. Saunders Mac Lane. Categories for the…
Abstract: We introduce an expansion of Basic Logic (BL) with new connectives which express fixed points of continuous formulas, i.e. formulas of BL whose connectives are among {&,∨,∧}. The algebraic semantics of this logic is studied together with some of…