| 2021 | A Variety Theorem for Relational Universal Algebra. Chad Nester |
| 2021 | Abstract Strategies and Coherence. Cameron Calk, Eric Goubault, Philippe Malbos |
| 2021 | Accretive Computation of Global Transformations. Alexandre Fernandez, Luidnel Maignan, Antoine Spicher |
| 2021 | Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. Willem Conradie, Valentin Goranko, Peter Jipsen |
| 2021 | Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. Stefano Aguzzoli, Matteo Bianchi |
| 2021 | Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. Kangfeng Ye, Simon Foster, Jim Woodcock |
| 2021 | Change of Base Using Arrow Categories. Michael Winter |
| 2021 | Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia |
| 2021 | Computing Least and Greatest Fixed Points in Absorptive Semirings. Matthias Naaf |
| 2021 | Deciding FO-definability of Regular Languages. Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
| 2021 | Domain Range Semigroups and Finite Representations. Jas Semrl |
| 2021 | Effect Algebras, Girard Quantales and Complementation in Separation Logic. Callum Bannister, Peter Höfner, Georg Struth |
| 2021 | Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. Rudolf Berghammer, Mitja Kulczynski |
| 2021 | Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. Christophe Lucas, Matteo Mio |
| 2021 | Isolated Sublattices and Their Application to Counting Closure Operators. Roland Glück |
| 2021 | On Algebra of Program Correctness and Incorrectness. Bernhard Möller, Peter W. O'Hearn, Tony Hoare |
| 2021 | On Tools for Completeness of Kleene Algebra with Hypotheses. Damien Pous, Jurriaan Rot, Jana Wagemaker |
| 2021 | Polyadic Spaces and Profinite Monoids. Jérémie Marquès |
| 2021 | Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. Walter Guttmann, Nicolas Robinson-O'Brien |
| 2021 | Relational Computation of Sets of Relations. Rudolf Berghammer |
| 2021 | Relational Models for the Lambek Calculus with Intersection and Unit. Stepan L. Kuznetsov |
| 2021 | Relational Sums and Splittings in Categories of L-fuzzy Relations. Michael Winter |
| 2021 | Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter |
| 2021 | Second-Order Properties of Undirected Graphs. Walter Guttmann |
| 2021 | Skew Metrics Valued in Sugihara Semigroups. Luigi Santocanale |
| 2021 | Some Modal and Temporal Translations of Generalized Basic Logic. Wesley Fussner, William Javier Zuluaga Botero |
| 2021 | The Class of Representable Semilattice-Ordered Monoids Is Not a Variety. Amina Doumane |
| 2021 | Time Warps, from Algebra to Algorithms. Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi |
| 2021 | Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. Natanael Alpay, Peter Jipsen, Melissa Sugimoto |
| 2021 | ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |