Accepted Abstracts
The following abstracts have been accepted for presentation at TACL 2026.
| Author(s) | Title of abstract |
|---|---|
| Adam Přenosil | Decidability in integral conuclear residuated lattices |
| Sándor Jenei | Layer decomposition: finite residuated chains |
| Rodrigo Nicolau Almeida and Qian Chen | Interpolation in bi-intuitionistic logics |
| Silvio Ghilardi and Jérémie Marquès | A completeness theorem for topological doctrines |
| Simo Mthethwa | The frame of ideals of closed subsets and its applications |
| Manuel Mancini, Giuseppe Metere and Federica Piazza | On actions and split extensions in varieties of hoops |
| Eduardo Magalhães | Rewriting Systems on Arbitrary Monoids |
| Tenyo Takahashi | Being a union-splitting is decidable in modal logic |
| John Stokes-Waters | A Model Companion for an Extension of Abelian Lattice-Ordered Groups |
| Marco Abbadini, Rodrigo Nicolau Almeida and Igor Arrieta | A topos for étale-finite Heyting algebras |
| Valeria Giustarini, Nikolaos Galatos and Sara Ugolini | Semiconical residuated lattices with an idempotent skeleton |
| Michal Botur | Semi-direct products and similar constructions of residuated lattices |
| Chancelle Kamga, Celestin Lele, Jean Nganou and Lutz Strungmann | Semi-divisible rings |
| Grzegorz Pastuszak | Introduction to the model theory of modules |
| Jim de Groot, Ian Shillito and Ranald Clouston | A Duality Theorem for Constructive K |
| Francesco Manfucci and Paolo Agliano' | Structural completeness in basic hoops and BL-algebras |
| Václav Cenker, Ivan Chajda and Helmut Länger | Symmetric Difference in Lattices With Complementation |
| Luca Carai, Miriam Kurtzhals and Tommaso Moraschini | Implicit operations in varieties of commutative monoids |
| Nicholas Ferenz, Andrew Tedder and Max Lin | Algebraic Semantics for First-Order Relevant Logics |
| Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger and Igor Sedlár | Knowledge on a Budget |
| Luca Carai and Tommaso Moraschini | On the universal theory of the free pseudocomplemented distributive lattice |
| Luca Carai, Miriam Kurtzhals and Tommaso Moraschini | The Beth companion: making implicit operations explicit |
| Rafal Gruszczynski, Luca Carai, Ivo Düntsch and Anna Laura Suarez | Ultracontact algebras and stack systems |
| Constantine Tsinakis | Conrad Frames and Structural Transfer from $\ell$-Groups to Prelinear Residuated Lattices |
| Nick Bezhanishvili and Qian Chen | Interpolation in Two-Dimensional Cylindric Modal Logic |
| Cerene Rathilal | Unicoherence in Locales |
| Sebastian Stokłosa | Axiomatization of logics complete with respect to 3-element Semi-Heyting algebras |
| Libor Behounek | Semiring-Valued Logics with Twist-Structure Semantics |
| Augustin Albert, Jérémy Dubut and Eric Goubault | Homological Algebra in Abelian Framed Bicategories |
| Chun-Yu Lin | Many-Valued Coalgerbaic Lindstrom's Theorem |
| Arun Kumar, Neha Gaur and Bisham Dewan | A Unified Categorical Duality for Preminimal Negation and Beyond: Extending Compatibility Semantics Along Dunn's Negation Hierarchy |
| Arun Kumar, Bisham Dewan and Neha Gaur | Quad Rings and Quad Algebras: From Duality to Logical Perspective |
| Guillaume Raymond Geoffroy | Cut-free Deductive Systems for Affine and Continuous Intuitionistic Logic |
| Amanda Vidal and Ricardo Oscar Rodriguez | Axiomatizing logics of finite G¨odel-Kripke models |
| Hugo Bazille and Uli Fahrenberg | Automata on Graph Alphabets |
| Mariami Gamsakhurdia and Matthias Baaz | The Eliminability of Delta in Gödel Logics |
| Pedro Rodríguez Díaz and Tommaso Moraschini | On the theory of finite Gödel Algebras |
| Ranjan | A Semantics for Modal Language Based on Subset Approximation Structure |
| Dmitry Bredikhin | On pseudo-associative conjunctive operations on relations of rank 3 |
| Jorge Picado | Localic distances and asymmetric metrization theorems |
| Stefano Bonzio, Andrea Loi and Giuseppe Zecchini | Topological and differentiable aspects of Clifford semigroups |
| Guillermo Badia, Carles Noguera, Alberto Paparella and Guido Sciavicco | Reasoning in the real world with BL multi-modal logic |
| Josef von Hoffmann Doyle and Wesley Fussner | Interpolation in the Inquisitive Hierarchy |
| Teo Šestak | Algebras and general frames for interpretability logics |
| Niels Vooijs and David Fernández-Duque | Enumerability of Alexandrov Dynamic Topological Logic |
| Ludovico Fusco | Closure l-monoids and their proof theory |
| Umberto Rivieccio and Ramon Jansana | Duality for quasi-Nelson algebras with recovery operators |
| James Carr | Sequent Calculi in Semiring Semantics |
| Fosco Loregian | Automata in bicategories, with an eye on Probabilistic Metrics |
| Sławomir Przybyło | Double equivalential algebras |
| Manuel Mancini, Giuseppe Metere and Federica Piazza | Coherent and ideal actions in ideally exact categories with an application to varieties of universal algebras |
| Ludovico Fusco and Francesco Paoli | Enriched Płonka sums |
| David Forsman | Constructing the Object of Bialgebras in a 2-Category with PIE-Limits |
| Francesco Paoli, Gandolfo Vergottini, Nicolò Zamperlin and Davide Fazio | On Bochvar algebras and regular double Stone algebras |
| Tomáš Jakl and Luca Reggio | A representation theory of arboreal categories |
| Francesco Tognetti | Modally definable polyhedra. |
| Isabel Hortelano Martín and George Metcalfe | Theorems of alternatives, algebraically |
| Simon Lemal, Rodrigo Nicolau Almeida and Nick Bezhanishvili | Superamalgamation for modal lattices via non-distributive dualities |
| Simon Santschi and Nick Galatos | Varieties of distributive l-pregroups |
| Fabio De Martin Polo and Han Gao | A Nested Approach to Relevant Logic |
| João Areias and Jorge Picado | Basic zero-dimensional spaces: A unifying framework for continuity and openness |
| Benno van den Berg and Josje van der Laan | A Directed Refinement of Constructive Ordinals in Algebraic Set Theory |
| Igor Arrieta and Anna Laura Suarez | The lattice of smooth sublocales as a Bruns-Lakser completion |
| Miriam Kurtzhals, Tommaso Moraschini and Luca Carai | Implicit operations in reduced commutative rings |
| Yiwen Ding, Krishna Manoorkar, Alessandra Palmigiano, Ni Wayan Switrayni and Ruoding Wang | Defeasible Reasoning on Concepts |
| Rodrigo Nicolau Almeida and Matteo de Berardinis | Coequivalence relations and descent in modal and superintuitionistic logic |
| Nick Galatos, Serafina Lapenta and Sebastiano Napolitano | On the lattice of subvarieties of equational states |
| Simon Kreuzer | Modal Logics of Zariski-constructible and Semialgebraic Sets |
| Sebastian Melzer | Generalizing the d-nucleus to stably continuous frames |
| Stefano Fioravanti, Michael Kompatcher and Bernardo Rossi | Clonoids over finite vector spaces and related computational problems |
| Ana Belen Avilez Garcia | Coz-Inclusions |
| Noemí Lubomirsky, Maria Paula Menchon and Hernán San Martín | Hemi-Nelson algebras |
| Graham Manuell | Dual presentations of frames |
| Timo Franssen | Tense Information Logic with Incomparable Fusion and Overlap |
| Nikolaos Galatos, Peter Jipsen, Søren Brinck Knudstorp and Revantha Ramanayake | Bunched implication logic is undecidable |
| Joshua Passmore | Revisiting the localic Kuratowski-Mrówka theorem |
| Ranjitha Raviprakash | TD-coreflection pointfreely and its generalization to other separation axioms |
| Małgorzata Jastrzębska and Emília Halušková | Easy direct limits property in some classes of algebras |
| Ivan Tomasic | Categorical logic in difference and differential algebra |
| Olivia Caramello and Bruno Drieux | Relative (co-)Yoneda Lemma for Categories Indexed over a Small-Generated Site |
| Aditya Prakash | Categorical Investigations of Algebraic Properties |
| Olivia Caramello and Gabriel Merlin | Relative Points and Completions of Indexed Categories |
| Umberto Tarantino, Sam van Gool and Jérémie Marquès | Conceptual completeness for geometric logic via ultraconvergence spaces |
| José Siqueira | Regular hyperdoctrines as double functors |
| Papiya Bhattacharjee | Studying Primes of an Algebraic Frame without the FIP |
| Yiwen Ding and Alexander Kurz | Quantale-Enriched Universal Algebra: Completeness |
| Brendan Dufty and Nikolaos Galatos | A Non-Distributive Equivalence for Finite Pointed Brouwerian Algebras and their Algebras of Fractions |
| Marta Bilkova, Peter Jipsen and Melissa Sugimoto | On the structure of involutive partially ordered monoids as models of multiplicative fragments of linear logic |
| Evgeny Kuznetsov, Konstantine Razmadze and Levan Uridia | Craig Interpolation in the Logic of Temporal Linear Structures |
| Joseph McDonald | MacNeille Completion and Canonical Completion of Monadic Ortholattices |
| Vincenzo Marra, Luca Reggio and Caterina Sioli | Arithmetic polytopes, ordered groups, and affine monoids: a duality theorem |
| Andrea De Domenico, Giuseppe Greco, Alexander Kurz, Brandon Laing and Apostolos Tzimoulis | Quantale-enriched proof theory |
| Wieslaw Kubis | Evolution systems and embedding-projection pairs |
| Denisa Diaconescu, Erik Rybakken, Leona Hioki, Mario Yaksetig, Frantisek Silvasi and Julian Sutherland | Intmax2: A Secure Blockchain Protocol Enabled by Lattice-Ordered Abelian Groups |
| Killian Barbé, Sam van Gool and Daniela Petrişan | Revisiting Completeness of Fixpoint Logics |
| Giuseppe Greco, Brandon Laing and Fei Liang | How to build categorical semantics of proofs for the basic modal Lambek logic and beyond |
| Gabriel Saadia and Errol Yuksel | Soberness as idempotent-completeness: towards a formal model theory of virtual ultracategories |
| Matthew James Lynn and Gerhard Lakemeyer | Towards a Computational Approach to Combining Coalgebraic Logics |
| Gaia Petreni | The equivalential fragment of FLew |
| David Holgate, Ana Belen Avalez and Bakulukira Claude Iragi | Adjoints and the preservation of order |
| Joshua Wrigley and Edmund Robinson | Lifting structure from states to propositions: the various Day extensions available |
| Nesta van der Schaaf | Localic Relations with Open Cones |
| Tomasz Kowalski and Katarzyna Słomczyńska | A generic construction of free algebras in varieties of Hilbert algebras and Brouwerian semilattices |
| Arturo De Faveri | Rings and Boolean Algebras as Algebraic Theories |
| David Quinn Alvarez | Esakia duality for temporal Heyting algebras |
| Richard Garner, Alyssa Renata and Nicolas Wu | Stone Duality for Monads |
| Matías Menni and Luca Spada | Regular epi in the regular category of rational polyhedra and Z-maps |
| Gabriel Goren-Roig, Tomáš Jakl and Luca Reggio | Arboreal Categories from Shapes |
| Chase Meadors | Delimited control, the Casari schema, and KM |
| Cameron Calk and Emmanuel Godard | Stone Duality Proofs for Colorless Distributed Computability Theorems |
| Guido Boccali | TOWARDS A 2-CATEGORICAL LOGIC OF DEPENDENT TYPE THEORY |
| Peter Faul and Graham Manuell | Machine Space, Exponential Spaces and Compactness |
| Rui Prezado | Lax comma categories: descent and exponentiability |
| Miguel Martins | There are only countably many locally finite varieties of bi-Gödel algebras |
| Sérgio Marcelino | On the Decidability of Comparing Many-Valued Logics: A WSkS Approach |
| Marcel Jackson, Tomasz Kowalski and Michał Stronkowski | Quasi-equational bases for oriented paths |
| Norihiro Yamada | A graphical calculus for categorical linear dependency |
| José Gil-Férez, Peter Jipsen and Giuseppe Zecchini | Partially-ordered Płonka sums of po-algebras |
| Filip Jankovec | Product Łukasiewicz Unbound Logic |
| Damian Siejwa | Spectral spaces from closure operators on semilattice-ordered semigroups |
| Jens Koetters and Stefan Schmidt | Conjunctive Concept Algebras -- Unnamed Perspective |
| Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Andrea Sabatini and Mario Piazza | Refutational Display Calculi |
| Valentin Shehtman | On 1-variable fragments of modal predicate logics |
| Elena Pozzan | WO and WC-maps and the Wallman Compactification |
| Kristóf Kanalas | The compactness theorem for topos-valued models |
| Miguel Ángel Trejo-Huerta and M. Andrew Moshier | A first-order extension of multi-lingual sequent calculus |
| Jan Kühr | On varieties of modular lattices with complementation |
| Andrew Swan, Peter Lefanu Lumsdaine and Henrik Forssell | Makkai’s lost proof of projectivity of N in the free topos |
| Christian Naess and Nick Galatos | Algebraic proof theory for distributive sequent calculi and GBI-algebras |
| Mbekezeli Nxumalo and Mbekezeli Nxumalo | Concerning uniform Menger quotients |
| Nick Galatos and August Sangalli | The Deducibility Problem for Certain Extensions of the Full Non-Associative Lambek Calculus is Undecidable |
| Kempton Albee and Nick Galatos | Amalgamation for finitely generated varieties of semilinear idempotent residuated lattices |
| Guillaume Massas | Constructive Quantum Logics |
| Kira Adaricheva, Adam Mata, Sylvia Silberger and Anna Zamojska-Dzienio | Maximal sublattices of finite semidistributive lattices |
| Nick Bezhanishvili, Jim de Groot and Lawrence Moss | Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem |
| Benjamin Engel and Ryshard-Pavel Kostecki | Biquasiintuitionistic logic and related structures |
| Krzysztof Krawczyk and Wesley Fussner | Exactly Five Subquasivarieties of Sugihara Algebras have the Amalgamation Property |
| Robert Morissette | A double-categorical perspective (or two) on dual fibrations |
| Max Wehmeier and Benno van den Berg | Examples of Arrow Algebras |
No accepted abstracts match this filter.