Abstract
We continue our study of the difference between Weak Normalisation (WN) and
Strong Normalisation (SN). We extend our earlier result that orthogonal TRSs with
the property WN do not admit cyclic reductions, into three distinct directions:
(i) to the higher-order case, where terms may contain bound variables,
(ii) to the weakly orthogonal case, where
... read more