弗朗西斯科·兰扎托-完备Heyting代数和co-Heyting代数的一个新特征

低分子量：3931-计算机科学中的逻辑方法，2017年9月14日，第13卷第3期-https://doi.org/10.23638/LMCS-13(3:25)2017
完备Heyting代数和co-Heyting代数的一个新特征第条

作者：弗朗西斯科·兰扎托

    我们给出了完整Heyting和合取代数$C$。此结果提供了与纳什均衡域，基于所谓的维诺特序$C$的次完备子格上的关系，这在Topkis中有重要的应用研究纳什均衡的序理论结构的定理超模块游戏。

    https://doi.org/10.23638/LMCS-13(3:25)2017
    资料来源：arXiv.org:1504.03919
    第13卷第3期
    发布日期：2017年9月14日
    受理日期：2017年9月14日
    提交日期：2017年9月14日
    关键词：计算机科学-计算机科学中的逻辑，数学-环和代数，F.3.0
    许可证：arXiv.org-非排他性分发许可

    共享和导出

    咨询统计

    这个页面已经被浏览了1191次。
    本文的PDF已下载662次。