29 November 2024, VvL Essentials, Apostolos Tzimoulis and Giuseppe Greco

VvL Essentials talks are high-level introductory talks, that introduce early-career logicians to a field they may not be familiar with. This forms a low-threshold way to broaden their own specific research area and encourages collaborations. The talks will be hosted by different universities within the Netherlands, and they will have a hybrid format - for those who attend in person, drinks and snacks will be provided afterwards!

Speakers: Apostolos Tzimoulis and Giuseppe Greco

Title: Algebraic Logic Essentials

When: Friday 29 November, 16:00

Where: Vrije Universiteit (VU) Amsterdam, room HG 6A-33, or online via Zoom

Directions: The room is on the sixth floor of the main building (De Boelelaan 1105, 1081 HV Amsterdam). Here you can find the map, where the relevant building is called "main building": https://vu.nl/en/about-vu/more-about/vu-campus-map.

Organizers: Nima Motamed (PhD student at Utrecht University), and Giovanni Varricchione (PhD student at Utrecht University), Rodrigo Almeida (PhD student at the ILLC)

Abstract: Algebraic logic explores the relationships between algebra and logic, with the primary aim of using algebraic methods to address logical problems, and vice versa in most recent years. In this lecture, we will introduce algebraic logic, briefly covering examples from classical propositional logic, intuitionistic logic, modal logics, relevance logics, and substructural logics. This discussion will naturally lead to the significant general findings by Blok and Pigozzi on algebraizable logics. The bridge between algebra and logic has been used to transfer many interesting properties, for instance interpolation properties corresponding to amalgamation properties or p-morphic images corresponding to subalgebras. After surveying the central ideas and key results in the field, we will focus on recent applications that led to an unexpected connection between correspondence theory and structural proof theory.

For more information, see http://www.verenigingvoorlogica.nl/en/Activiteiten/VvLEssentials/ or contact Rodrigo Almeida, Nima Motamed or Giovanni Varricchione at r.dacruzsilvapinadealmeida at uva.nl, n.motamed at uu.nl or g.varricchione at uu.nl.