Product a‐frames and proximity
Douglas Bridges · Mathematical logic quarterly · 2008
Abstract Continuing the study of apartness in lattices, begun in [8], this paper deals with axioms for a product a‐frame and with their consequences. This leads to a reasonable notion of proximity in an a‐frame, abstracted from its counterpart in the theory of set‐set apartness. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)