Keyword:normal frame

Papers
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions Jorge Picado and Javier Gutierrez Garcia In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic