• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of applied non-classical logics >A discrete duality between apartness algebras and apartness frames
【24h】

A discrete duality between apartness algebras and apartness frames

机译：间隔代数和间隔框架之间的离散对偶

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Apartness spaces were introduced as a constructive counterpart to proximity spaces which, in turn, aimed to model the concept of nearness of sets in a metric or topological environment. In this paper we introduce apartness algebras and apartness frames intended to be abstract counterparts to the apartness spaces of (Bridges et al., 2003), and we prove a discrete duality for them.
机译：引入间隔空间作为邻近空间的建设性对应物，后者又旨在对度量或拓扑环境中集合的邻近性概念进行建模。在本文中，我们介绍了间隔性代数和间隔性框架，它们旨在作为（Bridges et al。，2003）间隔性空间的抽象对应物，并证明了它们的离散对偶性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号