Prof. P. Johnstone will give a lecture on Friday 23 at 11:00 in Sala del Consiglio, at the Department of Mathematics and Computer Science. “Toposes as higher-order theories” Abstract. The elementary reformulation of topos theory by Lawvere and Tierney allowed Read more…
by A. Di Nola, C. Russo In this paper we propose a new perspective on the theory of MV-algebras based on the connection between such algebras and idempotent semirings. Such a viewpoint yields, among other results, interesting representation theorems. We Read more…
by C. Russo Journal of Logic and Computation (2010), 20(4): 917-946.Advance access December 2008.doi:10.1093/logcom/exn088 The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, Read more…
by S. Rampone, C. Russo Aim of this paper is to address the problem of learning Boolean functions from training data with missing values. We present an extension of the BRAIN algorithm, called U-BRAIN (Uncertainty-managing Batch Relevance-based Artificial INtelligence), conceived Read more…
On March 15, 16 and 17, at 11:00 in “aula del consiglio” DMI, Prof. C. Tsinakis (Vanderbilt University, U.S) wil give the folowing PhD course “Residuated Structures: Algebraic and Logical Perspectives” Contents of the course:Algebraic logic studies classes of algebras Read more…
From the 20th of February untill the 28th of February, Prof. Revaz Grigolia will be visting our Department.
Professor Peter Belluce is visiting our department since th 6th untill the 16th of February 2010.
Professor Peter Belluce will give a seminar at 11:00 of the 10th of February at the Sala Riunioni of the DMI.
Monday, 1st of February 2010 at 11:00 in the Sala Riunioni Dr. Olivia Caramello will give a seminar on “Il ruolo unificatore dei topoi nella matematica”. Everyone is welcome to join
Dr. Caramello will be visiting the DMI of Salerno on the 1st and 2d of February 2010.