Monteiro 空间与由拟序关系决定的粗糙集：Nelson 代数的模型
逻辑
2014-03-26 v2
摘要
由拟序诱导的粗糙集出现在计算机科学中使用二元关系的多种构造中。本文给出了由拟序诱导的粗糙集的结构刻画。这些粗糙集构成了定义在代数格上的 Nelson 代数。我们证明了任何 Nelson 代数都可以表示为定义在由适当拟序诱导的粗糙集上的代数的子代数。我们还表明，Monteiro 空间、由拟序诱导的粗糙集以及定义在作为 Alexandrov 拓扑的 -空间上的 Nelson 代数可以被视为等价结构，因为它们在同构意义下相互决定。
引用
@article{arxiv.1401.1144,
title = {Monteiro spaces and rough sets determined by quasiorder relations: Models for Nelson algebras},
author = {Jouni Järvinen and Sándor Radeleczki},
journal= {arXiv preprint arXiv:1401.1144},
year = {2014}
}
备注
10 pages, 1 figure; an example added