• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Subframization and stabilization for superintuitionistic logics
【24h】

Subframization and stabilization for superintuitionistic logics

机译：超直觉逻辑的亚帧化和稳定化

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

摘要

With each superintuitionistic logic (si-logic for short), we associate its downward and upward subframizations and characterize them by means of Zakharyaschev's canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic PLL. In an analogous fashion, with each si-logic, we associate its downward and upward stabilizations and characterize them by means of stable canonical formulas, as well as by embedding si-logics into extensions of the intuitionistic S4.
机译：对于每种超直觉逻辑（以下简称si-logic），我们将其向下和向上子框架关联起来，并通过Zakharyaschev的规范公式对它们进行表征，以及将si-logic嵌入到命题宽松逻辑PLL的扩展中。以类似的方式，对于每个si-logic，我们将其向下和向上的稳定度关联起来，并通过稳定的规范公式以及将si-logic嵌入直觉S4的扩展中来对其进行表征。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号