Definability and Canonicity for Boolean Logic With a Binary Relation

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2014-973