Contributed talks
Ordered by submission date. The booklet of abstracts is available as a PDF here.
| Author(s) | Title | Slides |
| Célia Borlido | Difference hierarchies over lattices | |
| Laurent De Rudder and Georges Hansoul | A Sahlqvist theorem for subordination algebras | |
| William Javier Zuluaga Botero and Diego Vaggione | Pierce stalks in preprimal varieties | |
| Pavol Zlatos | The Bohr compactification of an abelian group as a quotient of its Stone-Cech compactification | |
| Jan Paseka | Completion of pseudo-orthomodular posets | |
| Peter Faul and Graham Manuell | Artin glueings as semidirect products | |
| Rafal Gruszczynski and Andrzej Pietruszczak | Some theorems concerning Grzegorczyk contact lattices | |
| Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen | Semi-reflective Extensions of Dualities | |
| John Harding and Frederik Lauridsen | Hyper-MacNeille completions of Heyting algebras | |
| José Gil-Férez, Frederik Lauridsen and George Metcalfe | A Glivenko theorem for lattice-ordered groups | |
| Peter Arndt | Ranges of functors and elementary classes via topos theory | |
| Tristan Bice | Nearness Posets | |
|
|
|
|
| Kentaro Yamamoto | Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics | |
| Ðorđe Baralić, Pierre-Louis Curien, Marina Milićević, Jovana Obradović, Zoran Petrić, Mladen Zekić and Rade Živaljević | Proofs and surfaces | |
| Georgi Dimov and Elza Ivanova-Dimova | Extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces | |
| Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen | Extensions of dualities and a new approach to de Vries’ Duality Theorem | |
| Rob Egrot | Amalgamating poset extensions | |
| Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan and Jan van Mill | A new logic arising from a scattered Stone space | |
|
|
|
|
| Daniel Rogozin | Quantale semantics for Lambek calculus with subexponentials | |
| Amanda Vidal Wandelmer and Ricardo Oscar Rodriguez | Axiomatizing the crisp Gödel modal logic | |
| Amirhossein Akbar Tabatabai | Predicative Implications: A Topological Approach | |
| Marco Abbadini, Vincenzo Marra and Luca Spada | Norm complete abelian l-groups: topological duality | |
| Tatyana Ivanova | Relational semantics for extended contact algebras | |
| Simon Docherty and David Pym | Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics | |
| Gejza Jenča | Colimits of effect algebras via a reflection | |
| Dimiter Vakarelov | Point-free theories of space and time: a sort history, models and representation theory | |
| Peter Jipsen and Sara Vannucci | From MV-semirings to Involutive semirings | |
| Francisco Avila, Guram Bezhanishvili, Patrick Morandi and Angel Zaldivar | When is the frame of nuclei spatial: A new approach | |
| Luca Carai and Guram Bezhanishvili | A temporal interpretation of intuitionistic quantifiers | |
| Ilya Shapirovsky | Glivenko’s theorem, finite height, and local finiteness | |
| Miroslav Ploščica | Topological representations of congruence lattices | |
| Anna Laura Suarez and Achim Jung | The coproduct of frames as encoding d-frame structure | |
|
|
|
|
| Marco Abbadini, Vincenzo Marra and Luca Spada | Norm complete Abelian l-groups: equational axiomatization | |
| Tiziano Dalmonte, Charles Grellois and Nicola Olivetti | Intuitionistic and classical non-normal modal logics: An embedding | |
| Pengfei He, Adam Přenosil and Constantine Tsinakis | Twist products arising from residuated bimodules | |
| Peter Jipsen, Olim Tuyt and Diego Valota | On the structure of finite (commutative) idempotent involutive residuated lattices | |
| Adriana Balan, Peter Jipsen and Alexander Kurz | Enriched distributivity over finite commutative residuated lattices | |
| Umberto Rivieccio and Achim Jung | Duality for two-sorted lattices | |
| Matthias Baaz and Norbert Preining | Analysis of the Σ11-Fragment of First Order Gödel Logic extended with Propositional Quantifiers | |
| Guram Bezhanishvili, Patrick Morandi and Bruce Olberding | A generalization of Gelfand-Naimark-Stone duality to completely regular spaces | |
| Jorge Picado and Aleš Pultr | Axiom T_D and the relation between sublocales and subspaces of a space | |
| Tommaso Moraschini, James Raftery and Jamie Wannenburg | Singly generated quasivarieties and residuated structures | |
| Anneliese Schauerte and John Frith | Partial frames | |
| Tommaso Moraschini and Jamie Wannenburg | Epimorphisms in Varieties of Heyting Algebras | |
| Willem Conradie, Alessandra Palmigiano and Apostolos Tzimoulis | Goldblatt-Thomason for LE-logics | |
| Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano and Apostolos Tzimoulis | Algebraic proof theory for LE-logics | |
| Giuseppe Greco, Peter Jipsen, Alexander Kurz, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis | Nonclassical first order logics: semantics and proof theory | |
| John Baez and Christian Williams | Enriched Lawvere Theories for Operational Semantics | |
| Axel Osmond | Overview and perspectives of the general construction of spectra | |
| Almudena Colacito | Orders on Groups: an Approach through Spectral Spaces | |
| Rajab Aghamov and Andrey Kudinov | Product of neighborhood frames with additional common modality. | |
| Graham Manuell | The spectrum of a localic semiring | |
| Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra | Polyhedral Completeness of Intermediate and Modal Logics | |
| Sławomir Kost | Projective unification in NExt(K4) | |
| Peter Jipsen | Partially ordered varieties of involutive residuated posets | |
| Wesley Fussner | On non-distributive lattices with involution | |
| Saul Fernandez Gonzalez, Alexandru Baltag and Nick Bezhanishvili | Generic Models for Topological Evidence Logics | |
|
|
|
|
| Nick Bezhanishvili and Tim Henke | The van Benthem characterisation theorem for descriptive models | |
| Guillaume Massas | B-frame Representations for Complete Lattices | |
| Luca Reggio | Axiomatising categories of spaces: the case of compact Hausdorff spaces | |
| Luigi Santocanale and Maria João Gouveia | Mix ⋆-autonomous quantales and the continuous weak order | |
| Tatsuji Kawai | Presenting de Groot duality of stably compact spaces by entailment relations | |
| Giovanni Marco Martino | Frege’s Basic Law V via Partial Orders | |
| Petr Cintula and Carles Noguera | Completeness properties in abstract algebraic logic | |
| Zofia Kostrzycka | From intuitionism to Brouwer’s modal logic | |
| Zuzana Hanikova | Computing the validity degree in Łukasiewicz logic | |
| Nikolaos Galatos and Gavin St. John | Undecidabilty methods for residuated lattices | |
| Willem Conradie, Andrew Craig, Alessandra Palmigiano and Nachoem Wijnberg | The logic of categories and informational entropy | |
| Michael Andrew Moshier, Rick Ball and Ales Pultr | Exact and Fitter Sublocales | |
| Lurdes Sousa and Walter Tholen | Order-enriched solid functors | |
| Daniyar Shamkanov | On global algebraic completeness of the Godel-Lob provability logic | |
| Valentin Shehtman | Simplicial semantics and one-variable fragments of modal predicate logics | |
| Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano and Apostolos Tzimoulis | Semantic analysis and proof theory for monotone modal logic | |
| Anvar Nurakunov and Michał Stronkowski | The undecidability of profiniteness | |
| Giuseppe Greco, Apostolos Tzimoulis and Michael Moortgat | Proof theory and semantics for structural control | |
| Igor Sedlar | Two Approaches to Substructural Modal Logic | |
| Marta Bilkova | Towards completeness of logics of information and common belief | |
| Luigi Santocanale | Decidability of the equational theory of the natural join and inner union | |
| Sara Ugolini and Nikolaos Galatos | Gluing residuated lattices | |
| Vincenzo Marra and Matias Menni | A topos for piecewise-linear geometry, and its logic | |
| David Gabelaia, Levan Uridia, Mamuka Jibladze and Evgeny Kuznetsov | Characterization of flat polygonal logics | |
| Sina Hazratpour and Steve Vickers | Comprehension bicategories and fibrations of toposes | |
| Jim de Groot | Lifting functors from Pos to Pries | |
| Dana Salounova, Jan Kuhr and Jiri Rachunek | Derivations on bounded pocrims and MV-algebras with product | |
| Isar Stubbe | Divisibility and diagonals | |
| Cameron Calk, Eric Goubault and Philippe Malbos | Time-reversal homotopical properties of concurrent systems | |
| Brett McLean | Free Kleene algebras with domain | |
| Ganna Kudryavtseva | Stone dualities between étale categories and restriction semigroups |
