• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Automated Reasoning with Analytic Tableaux and Related Methods >Cut-Admissibility as a Corollary of the Subformula Property
【24h】

Cut-Admissibility as a Corollary of the Subformula Property

机译：切入式作为子公式属性的必然结果

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We identify two wide families of prepositional sequent calculi for which cut-admissibility is a corollary of the subformula property. While the subformula property is often a simple consequence of cut-admissibility, our results shed light on the converse direction, and may be used to simplify cut-admissibility proofs in various propositional sequent calculi. In particular, the results of this paper may be used in conjunction with existing methods that establish the subformula property, to obtain that cut-admissibility holds as well.
机译：我们确定了介词后继结石的两个大家族，其切入性是子公式属性的必然结果。虽然子公式的属性通常是可采性的简单结果，但我们的结果却反其道而行之，并且可用于简化各种命题后续计算中的可采性证明。尤其是，本文的结果可以与建立子公式属性的现有方法结合使用，以获取切割可接纳性也成立。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号