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 StoneCech compactification  
Jan Paseka  Completion of pseudoorthomodular 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 IvanovaDimova and Walter Tholen  Semireflective Extensions of Dualities  
John Harding and Frederik Lauridsen  HyperMacNeille completions of Heyting algebras  
José GilFérez, Frederik Lauridsen and George Metcalfe  A Glivenko theorem for latticeordered 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ć, PierreLouis Curien, Marina Milićević, Jovana Obradović, Zoran Petrić, Mladen Zekić and Rade Živaljević  Proofs and surfaces  
Georgi Dimov and Elza IvanovaDimova  Extensions of the Stone Duality to the category of zerodimensional Hausdorﬀ spaces  
Georgi Dimov, Elza IvanovaDimova 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 LuceroBryan 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 lgroups: topological duality  
Tatyana Ivanova  Relational semantics for extended contact algebras  
Simon Docherty and David Pym  Resource Reasoning in Dualitytheoretic Form: Stonetype Dualities for Bunched and Separation Logics  
Gejza Jenča  Colimits of effect algebras via a reflection  
Dimiter Vakarelov  Pointfree theories of space and time: a sort history, models and representation theory  
Peter Jipsen and Sara Vannucci  From MVsemirings 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 dframe structure  



Marco Abbadini, Vincenzo Marra and Luca Spada  Norm complete Abelian lgroups: equational axiomatization  
Tiziano Dalmonte, Charles Grellois and Nicola Olivetti  Intuitionistic and classical nonnormal 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 twosorted lattices  
Matthias Baaz and Norbert Preining  Analysis of the Σ_{1}^{1}Fragment of First Order Gödel Logic extended with Propositional Quantifiers  
Guram Bezhanishvili, Patrick Morandi and Bruce Olberding  A generalization of GelfandNaimarkStone 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  GoldblattThomason for LElogics  
Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano and Apostolos Tzimoulis  Algebraic proof theory for LElogics  
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 AdamDay, 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 nondistributive 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  Bframe 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  Orderenriched solid functors  
Daniyar Shamkanov  On global algebraic completeness of the GodelLob provability logic  
Valentin Shehtman  Simplicial semantics and onevariable 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 piecewiselinear 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 MValgebras with product  
Isar Stubbe  Divisibility and diagonals  
Cameron Calk, Eric Goubault and Philippe Malbos  Timereversal homotopical properties of concurrent systems  
Brett McLean  Free Kleene algebras with domain  
Ganna Kudryavtseva  Stone dualities between étale categories and restriction semigroups 