BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9923/9-May-2018-Algebra|Coalgebra-Seminar-Nick-Be
zhanishvili-
DTSTAMP:20180426T160953
SUMMARY:Algebra|Coalgebra Seminar, Nick Bezhanishv
ili
ATTENDEE;ROLE=Speaker:Nick Bezhanishvili (ILLC)
DTSTART:20180509T160000
DTEND:20180509T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
rdam
DESCRIPTION:In recent years there has been a renew
ed interest in the modal logic community toward Bo
olean algebras equipped with binary relations. The
study of such relations and their representation
theory has a long history, and is related to the s
tudy of point-free geometry, point-free topology,
and region based theory of space. Our primary exam
ples of Boolean algebras with relations will be de
Vries algebras, which are dual to compact Hausdor
ff spaces. Our main goal is to use the methods of
modal logic and universal algebra to investigate t
he logical calculi of Boolean algebras with binary
relations. This will lead, via de Vries duality,
to simple propositional calculi for compact Hausdo
rff spaces, Stone spaces, etc.
X-ALT-DESC;FMTTYPE=text/html:\n In recent year
s there has been a renewed interest in the modal l
ogic community toward Boolean algebras equipped wi
th binary relations. The study of such relations a
nd their representation theory has a long history,
and is related to the study of point-free geometr
y, point-free topology, and region based theory of
space. Our primary examples of Boolean algebras w
ith relations will be de Vries algebras, which are
dual to compact Hausdorff spaces. Our main goal i
s to use the methods of modal logic and universal
algebra to investigate the logical calculi of Bool
ean algebras with binary relations. This will lead
, via de Vries duality, to simple propositional ca
lculi for compact Hausdorff spaces, Stone spaces,
etc.

\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
.nl
END:VEVENT
END:VCALENDAR