From the 24th to the 27th of November the University of Salerno will host the conference “Logica, linguaggio e didattica della matematica“. The conference will take place at the Department of Mathematics and Computer Science. Further info can be found Read more
Giovedì 4 Novembre alle ore 16 presso la sala dei seminari del DMI si terrà un workshop dal titolo “Logica e Costituzione”.
Prof. P. Johnstone (Cambridge University) will be visiting our the DMI on the 22nd and 23rd of May 2010.
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.