首页> 外文期刊>Journal of logic and computation >On Kripke-style Semantics for the Provability Logic of Goedel's Proof Predicate with Quantifiers on Proofs
【24h】

On Kripke-style Semantics for the Provability Logic of Goedel's Proof Predicate with Quantifiers on Proofs

机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义

获取原文
获取原文并翻译 | 示例
       

摘要

Kripke-style semantics is suggested for the provability logic with quantifiers on proofs corresponding to the standard Goedel proof predicate. It is proved that the set of valid formulas is decidable. The arithmetical completeness is still an open issue.
机译:对于可证明性逻辑,建议在与标准Goedel证明谓词相对应的证明中使用量词的Kripke风格语义。证明有效公式的集合是可判定的。算术完整性仍然是一个未解决的问题。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号