| Hajnal Andreka and Szabolcs Mikulas. The equational theory of representable ordered monoids - presentation |
| Benno van den Berg. Homotopy-theoretic models of type theory - presentation |
| Nick Bezhanishvili and Guram Bezhanishvili. An algebraic approach to canonical formulas: Intuitionistic case - presentation |
| Guram Bezhanishvili and M. Andrew Moshier. Proximity-based Dualities for Compact Hausdorff Spaces - presentation |
| Marta Bilkova, Alessandra Palmigiano and Yde Venema. Gentzen systems for coalgebraic cover modalities - presentation |
| Felix Bou. The modal logic given by the class of idempotent Kripke frames over a BL chain - presentation |
| Simone Bova. Combinatorics of Interpolation in Godel Logic - presentation |
| Tomasz Brengos and Vera Trnkova. On coalgebraic class equation HS=SH and non-empty preimage preservation - presentation |
| Wojciech Buszkowski and Lin Zhe. Letter Promotion Problem in Pregroups - presentation |
| Leonardo Manuel Cabrer. Two Applications of Natural Duality for Kleene Algebras - presentation |
| Sergio Arturo Celani and Leonardo Manuel Cabrer. Hilbert Implications over Bounded Distributive Lattices - presentation |
| Ivan Chajda and Radomir Halas. Functional completeness of weak logics with the strict negation - presentation |
| Petr Cintula and Carles Noguera. First-order (semilinear) implicational logics - presentation |
| Corina Cirstea, Clemens Kupke and Dirk Pattinson. Complexity of the Coalgebraic mu-calculus - presentation |
| Janis Cirulis. Implications in sectionally galois-complemented posets - presentation |
| Alex Citkin. On Meta-Logic of Intuitionistic Propositional Calculus - presentation |
| Lavinia Ciungu and Anatolij Dvurecenskij. Measures, states and de Finetti maps on pseudo-BCK algebras - presentation |
| Pietro Codara and Vincenzo Marra. Profinite Heyting algebras, and partitions of image-finite posets under open maps - presentation |
| Willem Conradie and Alessandra Palmigiano. Expanding Sahlqvist correspondence for lattice-based logics: the inductive fragment - presentation |
| Janusz M. Czelakowski. Zermelo and fixed-point theorems - presentation |
| Mustafa Demirci. An introduction to $\left(\mathcal{Z}_{1},\mathcal{Z}_{2}\right) $-complete posets - presentation |
| Jules Desharnais, Peter Jipsen and Georg Struth. Internal Axioms for Domain Semirings - presentation |
| Anatolij Dvurecenskij. Pseudo BL-algebras and Their Decompositions - presentation |
| Wojciech Dzik. Unification and slices in intermediate and in some modal logics. - presentation |
| Marcel Erné. Quasicoherent domains and hyperspectral spaces: a missing link in Stone-Priestley duality - presentation |
| Leo Esakia and Benedikt Löwe. Fatal Heyting Algebras and Forcing Persistent Sentences - presentation |
| David Fernández. Dynamic Topological Logic of Minimal and Compact Spaces - presentation |
| Roman Fric. Simplex-valued domains - presentation |
| Nikolaos Galatos and Peter Jipsen. Cut-elimination for distributive substructural logics - presentation |
| Angel J. Gil. On Gentzen systems associated with finite valued logics preserving degrees of truth. - presentation |
| Robert Goldblatt. Cover Semantics for Quantified Lax Logic - presentation |
| Sam van Gool. Canonical extensions of partially ordered sets: reconstructing the lost adjunction - presentation |
| Revaz Grigolia, Antonio Di Nola and Luca Spada. Lukasiewicz logic has finitary unification type - presentation |
| Rafal Gruszczynski and Andrzej Pietruszczak. On Grzegorczyk's pointless topology. Atomic structures - presentation |
| Radomir Halaš and Michal Botur. On copulas, non-associative basic algebras and non-associative BL-logic - presentation |
| John Harding, Carol Walker and Elbert Walker. Varieties Generated by Truth Value Algebras of Type-2 Fuzzy Sets - presentation |
| Chris Heunen and Bart Jacobs. Quantum logic in dagger categories with kernels - presentation |
| Robin Hirsch and Marcel Jackson. Undecidability of various problems of representing binary relations - presentation |
| Rostislav Horcik. Positive Fragment of MTL with One Variable and Its Computational Complexity - presentation |
| Afrodita Iorgulescu. The implicative-group, a term equivalent definition of the group coming from algebras of logic - presentation |
| Sándor Jenei. Structural description of a class of involutive uninorm chains via geometric insight into residuated structures - presentation |
| Peter Jipsen and M. Andrew Moshier. Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions - presentation |
| Peter Jipsen and M. Andrew Moshier. Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators - presentation |
| Kensuke Kojima. Birelational Kripke semantics for an intuitionistic LTL - presentation |
| Roman Kontchakov, Ian Pratt-Hartmann and Michael Zakharyaschev. Topological logics over Euclidean spaces - presentation |
| Zofia Kostrzycka. On Kripke incomplete logics containing KTB - presentation |
| David Kruml. Skew order: A new look on orthomodular lattices - presentation |
| Jan Kühr. Prime compatible and compatible prime deductive systems of pseudo-BCK-algebras - presentation |
| Raul Leal Rodriguez. Equational coalgebriac logic - LealKurzWeM.pdf |
| Ioana Leustean and Vincenzo Marra. The Kakutani duality for MV-algebras - presentation |
| Ramaz Liparteliani. Projective closure MVm-algebras - presentation |
| Tadeusz Litak, Jan Hidders and Szabolcs Mikulas. Relational Lattices: An Introduction |
| Enrico Marchioni. A Model-Theoretic Analysis of Classes of MV Algebras - presentation |
| Yutaka Miyazaki. Modal Logics containing KTB of finite diameter frames - presentation |
| Franco Montagna and Carles Noguera. Arithmetical hierarchy of fuzzy logics over rational and finite-chain semantics - presentation |
| Alexei Muravitsky. On modal components of the normal extensions of S4 |
| Loes Olde Loohuis and Yde Venema. Algebras for multi-player logic - presentation |
| Alessandra Palmigiano. Stably supported quantales as models for ?rst-order intuitionistic modal logics - presentation |
| Daniela Petrisan and Alexander Kurz. Towards Universal Algebra over Nominal Sets - presentation |
| Daniela Petrisan and M. Andrew Moshier. A Duality Theorem for Real Commutative C* algebras - presentation |
| Adrian Pigors. Categories of Generalized Frames - presentation |
| Antonio Pulgarin and Miroslav Husek. Lattice-ordered groups of real continuous functions - presentation |
| Jirí Rachunek. Monadic pseudo-BL-algebras - presentation |
| James Raftery. ORDER ALGEBRAIZABLE LOGICS- presentation |
| Anna Romanowska, Jonathan D. H. Smith and Ewa Orlowska. Abstract barycentric algebras - presentation |
| Dana Salounova. State operators on GMV-algebras - presentation |
| Luigi Santocanale. A duality for finite lattices - presentation |
| Ilya Shapirovsky. Modal logics of ordered sums of frames - presentation |
| Samuel G. da Silva. A topological statement related to the Principle of Dependent Choices - presentation |
| Dmitrij Skvortsov. On an axiomatization of superintuitionistic predicate logic of Kripke frames with nested domains over the set of reals |
| Katarzyna Slomczynska. Free algebras for the $\{\leftrightarrow,\lnot\}$ fragment of $\mathbf{IPC}$ and $\mathbf{KC}$ - presentation |
| Sergejs Solovjovs. On a coalgebraic category of variety-based topological systems - presentation |
| Luca Spada. Small advances in the algebraic proof theory of substructural logics - presentation |
| Bas Spitters. A topos for algebraic quantum theory - presentation |
| Levan Uridia. ALGEBRAIC SEMANTICS FOR MODAL NON-MONOTONIC LOGICS - presentation |
| Petrucio Viana and Renata de Freitas. Q-algebras and graph calculi |
| Jacob Vosmaer. Broadening the topological perspective on canonical extension - presentation |
