Gaggle theory, an abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators (1990)

by J M Dunn
Venue:in Logics in AI (European Workshop JELIA