Sunday, June 13 | |||
June 13, Morning session I | |||
Stone-Priestley
session Chair: Mamuka Jibladze |
Contributed
session 1 Chair: Jean Nganou |
Contributed
session 2 Chair: Alex Citkin |
|
7.00-7.30 | Amirhossein Akbar Tabatabai,
Majid Alizadeh, and Masoud Memarzadeh Generalized Heyting Algebras and Duality |
Olim
Tuyt Monadic Residuated Lattices |
Willem
Conradie, Valentin Goranko, and Peter Jipsen Algorithmic correspondence for relevance logics: The algorithm PEARL and its implementation |
7.30-8.00 | Marco
Abbadini The opposite of the category of compact ordered spaces as an infinitary variety |
Claudia
Muresan Varieties of PBZ*-lattices |
Naomi Tokuda and George
Metcalfe Deciding dependence |
Stone-Priestley
session Chair: Manuela Busaniche |
|||
8.05-8.45 | Samuel
J. van Gool Priestley duality for MV-algebras and beyond |
||
Online coffee | |||
June 13, Morning session II Chair: Anna Zamojska-Dzienio |
|||
9.15-10.15 | Manuel
Bodirsky Minor Identities and Primitive Positive Constructions, Part II |
||
10.15-10.55 | Luca
Reggio Lovász-type theorems and polyadic spaces |
||
Online lunch | |||
June 13, Afternoon session I Chair: Nick Bezhanishvili |
|||
11.55-12.45 | Luca
Carai Esakia's theorem in the monadic setting |
||
12.45-13.45 | Alan
Dow Forcing, Stone spaces and converging sequences, Part II |
||
Online coffee | |||
June 13, Afternoon session II | |||
Stone-Priestley
session Chair: Wesley Holliday |
|||
14.15-14.55 | Mamuka
Jibladze A variety of bi-Heyting algebras not generated by complete algebras |
||
Stone-Priestley
session Chair: Wesley Holliday |
Contributed
session 1 Chair: Jean Nganou |
||
15.00-15.30 | Guram
Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini, and Michał Stronkowski Profiniteness and spectra of Heyting algebras |
Joseph Van
Name The computation of the 768-th Laver table |
|
15.30-16.00 | Nick
Bezhanishvili, Damiano Fornasiere, and Tommaso Moraschini Representable forests and diamond systems |
||
16.00-16.20 | Closing |