Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9 May 2018, Algebra|Coalgebra Seminar, Nick Bezhanishvili

Speaker: Nick Bezhanishvili (ILLC)
Title: A simple propositional calculus for compact Hausdorff spaces
Date: Wednesday 9 May 2018
Time: 16:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

In recent years there has been a renewed interest in the modal logic community toward Boolean algebras equipped with binary relations. The study of such relations and their representation theory has a long history, and is related to the study of point-free geometry, point-free topology, and region based theory of space. Our primary examples of Boolean algebras with relations will be de Vries algebras, which are dual to compact Hausdorff spaces. Our main goal is to use the methods of modal logic and universal algebra to investigate the logical calculi of Boolean algebras with binary relations. This will lead, via de Vries duality, to simple propositional calculi for compact Hausdorff spaces, Stone spaces, etc.

For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .

Please note that this newsitem has been archived, and may contain outdated information or links.