Canonical Calculi with (n, k)-ary Quantifiers.

Arnon Avron Anna Zamansky Canonical Calculi with (n, k)-ary Quantifiers. 2008 4 Logical Methods in Computer Science 3 http://dx.doi.org/10.2168/LMCS-4(3:2)2008 db/journals/lmcs/lmcs4.html#AvronZ08