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…
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.
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…
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…
We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval . This result also implies…