• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
【24h】

Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages

机译：限制性语言有限kripke帧的一阶超级监测逻辑的算法属性

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

摘要

We consider the effect of restricting the number of individual variables, as well as the number and arity of predicate letters, in languages of first-order predicate superintuitionistic logics of finite Kripke frames on the logics' algorithmic properties. By a finite frame we mean a frame with a finite set of possible worlds. The languages we consider have no constants, function symbols or the equality symbol. We show that positive fragments of many predicate superintuitionistic logics of natural classes of finite Kripke frames are not recursively enumerable-more precisely, Pi(0)(1)-hard-in languages with three individual variables and a single monadic predicate letter; this applies to the logics of finite frames of the predicate counterparts of propositional logics lying between the intuitionistic logic and the logic of the weak law of the excluded middle.
机译：我们考虑限制单个变量的数量的效果，以及谓词字母的数量和ARIITy，语言逻辑算法属性的有限kripke帧的一阶谓词超级监测逻辑的语言。 通过有限框架，我们的意思是一个具有有限组可能的世界的框架。 我们考虑的语言没有常数，功能符号或平等符号。 我们表明，许多谓词的有限克莱波克帧的许多谓词过度监测逻辑的正片不归因于递归令人享受 - 更准确地说，PI（0）（1） - 具有三个单独变量和单个Monadic谓词字母的语言; 这适用于所谓的逻辑谓词逻辑的有限帧的逻辑，位于插管逻辑和被排除的中间弱道逻辑之间的命题逻辑和逻辑。

著录项

  • 来源
    《Journal of logic and computation》 |2021年第2期|494-522|共29页
  • 作者

    Rybakov Mikhail; Shkatov Dmitry;

  • 作者单位

    Russian Acad Sci Inst Informat Transmiss Problems Moscow 127051 Russia|Natl Res Univ Higher Sch Econ Moscow 101000 Russia;

    Univ Witwatersrand Sch Comp Sci & Appl Math ZA-2050 Johannesburg South Africa;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号