Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators (0)

by J M Dunn
Venue:Logics in AI. JELIA Proceedings