Nowak, M. A Syntactic Approach to Closure Operation. B Sect Log 2017, 46, 219–232.