截面伪补格与偏序集中的滤子与同余
逻辑
2020-07-28 v1
摘要
在我们之前的论文中，我们与 J. Paseka 一起引入了所谓的截面伪补格与偏序集，并阐明了它们在代数构造中的作用。我们相信，类似于相对伪补格，这些结构可以作为某些直觉主义逻辑的代数语义。本文的目的是在这些结构中定义同余与滤子，推导它们之间的相互关系，并描述强截面伪补偏序集中同余的基本性质。为了描述截面伪补格与偏序集中的滤子，我们使用了 A. Ursini 引入的工具，即理想项及关于它们的封闭性。令人感兴趣的是，尽管相应的理想项并非处处有定义，但类似的机制也可应用于强截面伪补偏序集。
引用
@article{arxiv.2007.13198,
title = {Filters and congruences in sectionally pseudocomplemented lattices and posets},
author = {Ivan Chajda and Helmut Länger},
journal= {arXiv preprint arXiv:2007.13198},
year = {2020}
}