Logic group at the University of Salerno

Prof. Matias Menni visiting DipMat

Prof. Matias Menni, form the University of La Plata, will be visiting us for the 15 to the 17 of November. He will give a seminar on “ominus-linearity” on the 15 of November at 11:30 in Sala Riunioni (DipMat). Abstract: Using standard tools from categorical algebra we equip the category of commutative BCK-algebras with a symmetric monoidal structure. The associated category of commutative monoids embeds the category of PMV-algebras. Also, for each commutative monoid M, Read more

By Luca Spada, ago

Seminar by Prof. Hykel Hosni

Prof. Hykel Hosni from University of Milan will give a seminar on Thursday 25th of January 2018 starting form 15:00, in the Sala Riunioni of the Department of Mathematics. Title: Alcuni problemi logici in economia matematica. Abstract: Il seminario illustra alcuni esempi di problemi centrali nella ricerca microeconomica e che allo stesso tempo  contengono aspetti logici molto interessanti.

By Sara Lapenta, ago

Workshop “Geometry and non-classical logics”

We are happy to announce that we are hosting the first SYSMICS workshop “Geometry and non-classical logics”. It will take place at the campus of the University of Salerno, from the 5th to the 8th of September. The workshop is one of the events planned within the project. For further information please visit http://logica.dmi.unisa.it/sysmics/geoNonLogic/

By Sara Lapenta, ago

Algebre e Coalgebre per la logica modale

A partire dal 12 ottobre 2016, ogni mercoledì alle 16:30 nell’aula riunioni del Dipartimento di Matematica, il prof. Luca Spada e la dott.ssa Serafina Lapenta terranno un ciclo di seminari sul tema “Algebre e Coalgebre per la logica modale”. Il testo di riferimento è il capitolo 6 dell’Handbook of Modal logic, “Algebras and Coalgebras” di Yde Venema. Nel corso dei seminari si analizzerà l’approccio algebrico (tramite algebre di Boole con operatori) e coalgebrico (attraverso la teoria delle Read more

By Sara Lapenta, ago

Seminar by Dr. Purbita Jana

Dr. Purbita Jana from University of Calcutta will give a seminar on Thursday 22th of September 2016 starting form 11:00, in the Sala Riunioni of the Department of Mathematics. Title: Fuzzy Topology via Fuzzy Geometric Logic with Graded Consequence. Abstract: In this talk the main focus will be a generalization of Vickers’s work presented in his book \Topology via Logic”. Vickers introduced a notion of topological system which consists of a set of objects, set of properties and a relation between the set Read more

By Sara Lapenta, ago