3 citations · 5 across the 14 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
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…