Logic group at the University of Salerno

Seminar by Dr. Paolo Baldi

Dott. Paolo Baldi (Università del Salento) will give a seminar on Wednesday 16 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Logical consequences for inferences with data. Abstract: Data is often used in science as a guide to discard erroneous scientific hypotheses. The process is however far from trivial, since the rejection can be a matter of degrees, and possibly mistaken. In this talk, I will present a family of logical consequence relations, to capture patterns of Read more

By Andrea Cappelletti, ago

Seminar by Prof. Giuseppe Metere

Prof. Giuseppe Metere (University of Milano) will give a seminar on Wednesday 9 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Towards a notion of unital action.  Abstract: A group action of a group  $B$  on a group  $X$  is usually described as a $B$-group  $X$ , i.e., through a set-theoretic map: $$B \times X \to X$$ satisfying some specified axioms. From a category-theoretic point of view, this approach is not fully satisfying, since it relies on Read more

By Andrea Cappelletti, ago

Seminar by Prof. Vincenzo Marra

Prof. Vincenzo Marra (University of Milano) will give a seminar on Wednesday 26 March 2025 at 11:30 in Sala Riunioni, DipMat. Title: Some comments about locally finite MV-algebras. Abstract: An algebraic structure is locally finite if all of its finitely generated subalgebras are finite. In the last decades, locally finite MV-algebras were significantly featured in a number of research papers and projects. In this talk I would like to discuss what we know about this category, and especially Read more

By Andrea Cappelletti, ago

Seminario Prof. Giuseppe Sergioli

Prof. Giuseppe Sergioli (University of Cagliari) will give a seminar on Wednesday 11 December 2024 at 11:00 in Sala Riunioni, DipMat. Title: Multi-class classification based on quantum state discrimination (Joint work with Prof. Roberto Giuntini). Abstract: We present a general framework for the problem of multi-class classification using classification functions that can be specialized in the domain of Quantum-inspired classifiers, which are based on quantum state discrimination techniques. In particular, we use unsharp observables (Positive Operator-Valued Measures) that Read more

By Luca Spada, ago

PhD Course “Presheaves in Geometry and Logic, a preface to Topos Theory”

In February 2024 prof. Matías Menni will teach a course at the PhD in Mathematics at Unisa. The title is Presheaves in Geometry and Logic, a preface to Topos Theory, a short description follows. The course will take place on Mondays at Wednesdays from 14:00 to 16:00 in room P19. Description Presheaves in Geometry and Logic, a preface to Topos Theory.We will use categories of presheaves in order to illustrate Exactness (in non-linear contexts), Extensivity, Read more

By Luca Spada, ago

World Logic Day 2024

l gruppo di logica partecipa alle attività coordinate dall’AILA per celebrare la giornata UNESCO dedicata alla Logica. Durante la mattinata del 15 gennaio, presso l’aula P1 del Dipartimento di Matematica dell’Università di Salerno, si svolgeranno due laboratori di Logica, sul tema di connettivi e quantificatori e sulla logica epistemica, rivolti agli studenti del triennio della scuola secondaria superiore. Il programma della giornata è il seguente: Per ulteriori informazioni è possibile contattare per email Serafina Lapenta all’indirizzo Read more

By Sara Lapenta, ago

Seminar by dott. Andrea Cappelletti (Friday 1 December 2023)

Dott. Andrea Cappelletti, who recently got his PhD from the University of Milan, will give a seminar on Friday 1 December 2023 at 11:00 in Sala Riunioni, DipMat. Title: A Galois Theory and a Pretorsion Theory in MV-Algebras.Abstract: We explore the relationship between the category of MV-algebras and its full subcategories of perfect and semisimple algebras, showing that this pair of subcategories defines a pretorsion theory. We study the Galois structure associated with the reflection of semisimple MV-algebras, proving Read more

By Sara Lapenta, ago

Seminar by Prof. Matías Menni (Monday 22 May 2023)

Prof. Matías Menni, from Conicet and Universidad Nacional de La Plata, Argentina, will give a seminar on Monday 22 May 2023 at 14:30 in Sala Riunioni, DipMat. Title: Bi-directional models of “Radically Synthetic” Differential Geometry Abstract: The radically synthetic foundation for smooth geometry formulated in [Law11] postulates a space T with the property that it has a unique point and, out of the monoid T^T of endomorphisms, it extracts a submonoid R which, in many Read more

By Marco Abbadini, ago

Seminar by Dr. Anna De Mase (Wednesday 8 May 2023)

Prof. Anna De Mase, from Università degli Studi della Campania “Luigi Vanviltelli”, will give a seminar on Monday 8 May 2023 at 14:30 in Sala Riunioni, DipMat. Title: A characterization for saturated models of a finite extension of Qp: the “twisted” power series. Abstract: In 1965, Ax and Kochen gave a complete axiomatization of the theory of the class of formally p-adic fields, by having the following properties:– the value group is a Z-group;– the Read more

By Marco Abbadini, ago