This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 689176.
A SYSMICS workshop on the geometric aspects of non classical logic, via dualities. This workshop aims at connecting researchers that work on geometry and non-classical logic with the goal of facilitating the cross-fertilization of these fields of research. “Geometry and non classical logics” is supported by the MSCA-RISE project SYSMICS, which has as core objective the creation of a network of collaborations between experts with diverse knowledge to investigate logics in a cohesive fashion.
In honour of Antonio Di Nola 70th birthday
Find Out MoreThe workshop will start in the afternoon of Tuesday, 5th of September and it will end in the morning of Friday, 8th of September.
The workshop will be preceded by the SYSMICS mid-term meeting, in which the scientific achievements as well as the administration of the project will be illustrated. The midterm meeting will take place on the afternoon of the 4th and in the morning of the 5th of September, a detailed programme can be found here.
VenueThe campus is in Fisciano, click here for a simple map of the campus.
Charles University, Prague
Discussion session
University of Insubria
Morita equivalences for MV-algebras
University of Bern
Ordering groups and validity in lattice-ordered groups
University of Insubria
TBA
Université Paris Diderot – Paris 7
Cancelled
University of Milano
Amalgamation and combination
IIIA - CSIC
TBA
City College of New York
Uniform interpolation for intuitionistic logic via an open mapping theorem
University of Aveiro
Generating the algebraic theory of $C(X)$ for partially ordered compact spaces and beyond
University of Barcelona.
Relational semantics for monotone logics and their strong versions
Chapman University
From effect algebras and effect algebroids to involutive residuated posets and lattices
Czech Academy of Sciences
Geometry of Probability Maps Between MV-algebras
University of Salerno.
algebraic geometry for MV-algebras
University of Bucharest
Riesz spaces and their logic
University of Milano
Discussion session
University of La Plata
Comments on the coextensive nature of the category of MV-algebras
University of Florence
Geometry in Lukasiewicz logic
Université Paris Diderot – Paris 7
Cancelled
University of Insubria
University of Salerno
University of Salerno
Federal University of Bahia
University of Salerno
University of Salerno
| Starts | Ends | Tuesday 5 | Wednesday 6 | Thursday 7 | Friday 8 |
|---|---|---|---|---|---|
| 09:00 | 09:50 | Dirk Hofmann | Lluis Godo | Ramon Jansana | |
| 09:50 | 09:55 | Break | Break | Break | |
| 09:55 | 10:45 | Matias Menni | Tommaso Flaminio | Peter Jipsen | |
| 10:45 | 11:05 | Coffee | Coffee | Coffee | |
| 11:05 | 11:55 | Olivia Caramello | Ioana Leustean | Silvio Ghilardi | |
| 11:55 | 12:00 | Break | Break | ||
| 12:00 | 13:00 | REGISTRATION | DISCUSSION. Chairs: Vincenzo Marra | DISCUSSION. Chairs: Marta Bilkovà | |
| 13:00 | 15:00 | LUNCH | LUNCH | LUNCH | |
| 15:00 | 15:50 | Daniele Mundici | Sam van Gool | Social excursion | |
| 15:50 | 15:55 | Break | Break | ||
| 15:55 | 16:45 | Tomas Kroupa | Almudena Colacito | ||
| 16:45 | 17:05 | Coffee | Coffee | ||
| 17:05 | 17:55 | Giacomo Lenzi | Free discussion | ||
| 17:55 | 18:00 | Break | |||
| 18:00 | 19:00 | Free discussion | |||
| Social dinner |