Closure property of principal cones under substitution
It is shown that a principal cone \({\mathbb{L}}\) is closed under substitution if and only if \({\mathbb{L}}\) is closed under syntactic substitution of cone generators of \({\mathbb{L}}\).
scientific article; zbMATH DE number 4083006