奥利维耶·劳亨-一阶逻辑的博弈语义

低分子量：1130-计算机科学中的逻辑方法，2010年10月20日，第6卷第4期-https://doi.org/10.2168/LMCS-6(4:3)2010
一阶逻辑的博弈语义第条

作者：Olivier Laurent

    我们用额外的指针概念来改进HO/N游戏语义（多点）并将其扩展到具有完整性的一阶经典逻辑结果。我们使用Parigot的lambda-mu演算的Church风格扩展来表示一阶经典逻辑的证明。我们与Krivine的经典可实现性及其在类型同构中的应用。

    https://doi.org/10.2168/LMCS-6(4:3)2010
    资料来源：arXiv.org:1009.4400
    第6卷第4期
    发布日期：2010年10月20日
    进口日期：2008年11月7日
    关键词：计算机科学-计算机科学中的逻辑，F.3.2，F.4.1，F.3.3
    许可证：arXiv.org-非排他性分发许可

    4引用本文的文件

    共享和导出

    咨询统计

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