On the canonicity of Sahlqvist identities (1994)

by Bjarni Jónsson
Venue:Studia Logica