3 citations · 5 across the 14 of their papers we have counts for
4 papers · 1 filter
Proper varieties of distributive l-pregroups are periodic
Nikolaos Galatos, Simon Santschi
We show that every proper variety of distributive -pregroups is periodic; as a result, the subvariety lattice of the variety of distributive -pregroups decomposes into…
The space of preorders on a commutative monoid
Jan Draisma, George Metcalfe, Simon Santschi
For a finitely generated commutative monoid , we present a constructive description of all (total) preorders on that are compatible with the monoid structure. Equipped with…
Logics Containing wK4: Selection à la Fine
Simon Santschi, Niels C. Vooijs
We generalize Fine's Iterative Selection Method to the weakly transitive setting. In particular, this provides a transparent frame-theoretic proof of the finite model property for…
Interpolation above S4
Simon Santschi, Niels C. Vooijs
We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig i…