3 citations · 5 across the 14 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.RA2024
Amalgamation in Semilinear Residuated Lattices
Wesley Fussner, Simon Santschi
We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the genera…
math.LO2024
Interpolation in Hájek's Basic Logic
Wesley Fussner, Simon Santschi
We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a c…
math.LO2024
Equational theories of idempotent semifields
George Metcalfe, Simon Santschi
This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial…