Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components / Stefano Aguzzoli and Matteo Bianchi
Unary-determined distributive [lower case script L]l-magmas and bunched implication algebras / Natanael Alpay, Peter Jipsen, and Melissa Sugimoto
Effect algebras, Girard quantales and complementation in separation logic / Callum Bannister, Peter Höfner, and Georg Struth
Relational computation of sets of relations / Rudolf Berghammer
Experimental investigation of sufficient criteria for relations to have kernels / Rudolf Berghammer and Mitja Kulczynski
[lower case script L]l[lower case italic]r-multisemigroups, modal quantales and the origin of locality / Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemiański
Abstract strategies and coherence / Cameron Calk, Eric Goubault, and Philippe Malbos
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL / Willem Conradie, Valentin Goranko, and Peter Jipsen
The class of representable semilattice-ordered monoids is not a variety / Amina Doumane
Accretive computation of global transformations / Alexandre Fernandez, Luidnel Maignan, and Antoine Spicher
Some modal and temporal translations of generalized basic logic / Wesley Fussner and William Zuluaga Botero
Isolated sublattices and their application to counting closure operators / Roland Glück
Second-order properties of undirected graphs / Walter Guttmann
Relation-algebraic verification of Borůvka's minimum spanning tree algorithm / Walter Guttmann and Nicolas Robinson-O'Brien
Deciding FO-definability of regular languages / Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev


Relational models for the Lambek calculus with intersection and unit / Stepan L. Kuznetsov
Free modal Riesz spaces are Archimedean : a syntactic proof / Christophe Lucas and Matteo Mio
Polyadic spaces and profinite monoids / Jérémie Marquès
Time warps, from algebra to algorithms / Sam van Gool, Adrien Guatto, George Metcalfe, and Simon Santschi
On algebra of program correctness and incorrectness / Bernhard Möller, Peter O'Hearn, and Tony Hoare
Computing least and greatest fixed points in absorptive semirings / Matthias Naaf
A variety theorem for relational universal algebra / Chad Nester
On tools for completeness of Kleene algebra with hypotheses / Damien Pous, Jurriaan Rot, and Jana Wagemaker
Skew metrics valued in Sugihara semigroups / Luigi Santocanale
Computing distributed knowledge as the greatest lower bound of knowledge / Carlos Pinzón, Santiago Quintero, Sergio Ramírez, and Frank Valencia
Relational sums and splittings in categories of L-fuzzy relations / Michael Winter
Change of base using arrow categories / Michael Winter
Automated reasoning for probabilistic sequential programs with theorem proving / Kangfeng Ye, Simon Foster, and Jim Woodcock
Domain range semigroups and finite representations / Jaš Šemrl.