3 citations · 5 across the 14 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.RA2025
Residuated lattices do not have the amalgamation property
Peter Jipsen, Simon Santschi
We show that the variety of residuated lattices does not have the amalgamation property, thereby settling a long-standing open problem. In addition, we show that the amalgamation p…
math.RA2025
Axiomatizing small varieties of periodic l-pregroups
Nikolaos Galatos, Simon Santschi
We provide an axiomatization for the variety generated by the -periodic l-pregroup , for every , as well as for all possible joins…
cs.LO2025
Algebraic Proof Theory for Infinitary Action Logic
Wesley Fussner, Simon Santschi, Borja Sierra Miranda
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras,…