完备 Heyting 和 co-Heyting 代数的新刻画
计算机科学中的逻辑
2019-03-14 v4 环与代数
摘要
我们给出了完备 Heyting 和 co-Heyting 代数 的一种新的序论刻画。该结果揭示了其与 Nash 均衡领域之间意想不到的联系，其基础是 的子完备子格上所谓的 Veinott 序关系，该关系在 Topkis 定理中对于研究超模博弈 Nash 均衡的序论结构至关重要。
引用
@article{arxiv.1504.03919,
title = {A new characterization of complete Heyting and co-Heyting algebras},
author = {Francesco Ranzato},
journal= {arXiv preprint arXiv:1504.03919},
year = {2019}
}
备注
To appear in Logical Methods in Computer Science