• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Logic, language, information and computation >Team Logic and Second-Order Logic
【24h】

Team Logic and Second-Order Logic

机译：团队逻辑和二阶逻辑

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Team logic is a new logic, introduced by Vaeaenaenen [1], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the level of sentences dependence logic and team logic are equivalent with existential second-order logic and full second-order logic, respectively. In this article we show that, in a sense that we make explicit, team logic and second-order logic are also equivalent with respect to open formulas. A similar earlier result relating open formulas of dependence logic to the negative fragment of existential second-order logic was proved in [2].
机译：团队逻辑是Vaeaenaenen [1]引入的一种新逻辑，它通过经典否定扩展了依赖性逻辑。依赖逻辑将一阶逻辑原子公式添加到一阶逻辑中，这些原子公式表示变量之间的功能依赖关系。众所周知，在句子层面上，依赖逻辑和团队逻辑分别与存在的二阶逻辑和完整的二阶逻辑等效。在本文中，我们表明，就我们明确而言，团队逻辑和二阶逻辑在开放式公式方面也等效。在文献[2]中证明了类似的早期结果，该结果将依赖逻辑的开放式与存在的二阶逻辑的负片相关。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号