We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This provides an effective tool for pruning proof search in categorial parsing/theorem-proving.
Kuznetsov, S., Morrill, G., Valentín, O. Count-invariance including exponentials. A: Meeting on te Mathematics of Language. "MOL 2017: The 15th Meeting on the Mathematics of Language: proceedings of the Conference: July 13–14, 2017 London, UK". Stroudsburg, PA: Association for Computational Linguistics, 2017, p. 128-139.