Logica e Costituzione
Giovedì 4 Novembre alle ore 16 presso la sala dei seminari del DMI si terrà un workshop dal titolo “Logica e Costituzione”.
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.
Professor Peter Belluce will give a seminar at 11:00 of the 10th of February at the Sala Riunioni of the DMI.