Arnon Avron Anna Zamansky Canonical calculi with (n,k)-ary quantifiers http://arxiv.org/abs/0806.0081 2008 CoRR abs/0806.0081 db/journals/corr/corr0806.html#abs-0806-0081 informal publication