Generalized quantification as substructural logic / Natasha Alechina, Michiel van Lambalgen
Generalized quantification as substructural logic