Forum of Mathematics, Pi and Forum of Mathematics, Sigma
The idea of having an open access, high level mathematical journal is very welcome. Still, I believe this can be done without charging the authors, nevertheless I wish them success.
Logica II per Informatica
This year I will teach the course “Logica II” for the M.sc. degree in Computer Science. I think I will follow Moore’s modified method for the course (see also the wikipedia entry for the original method). There are some freely available…
ManyVal12 in Salerno 4-7 July
I am glad to announce that the 2012 edition of the conference series ManyVal will be hosted in Salerno, on the occasion of Antonio Di Nola $65^{th}$ birthday. Further information on the website of the conference.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
We prove that the unification type of Lukasiewicz infinite-valued propositional logic and of its equivalent algebraic semantics, the variety of MV-algebras,is nullary. The proof rests upon Ghilardi’s algebraic characterisation of unification types in terms of projective objects, recent progress by…
The dual adjunction between MV-algebras and Tychonoff spaces
We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that…