Scientiae Mathematicae Japonicae
Online ISSN : 1346-0447
A CONSTRUCTIVE THEORY OF APARTNESS ON LATTICES
D.S. BridgesL.S. Vîţa
Author information
JOURNAL FREE ACCESS

2009 Volume 69 Issue 2 Pages 187-206

Details
Abstract
The theory of apartness spaces is lifted to the more abstract context of complemented frames with habitation, thereby providing another point-free constructive approach to topology.
Content from these authors
© 2009 International Society for Mathematical Sciences
Previous article Next article
feedback
Top