Count-Invariance Including Exponentials
Stepan Lvovich Kuznetsov, Glyn V. Morrill, Oriol Valentín · 2017
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.