首页 > 按月查看>2025年第5月 >44-52
PDF 导出
直觉主义量化模态逻辑与巴坎公式
DOI:
作者:
作者单位:

作者简介:

通讯作者:

基金项目:

教育部人文社会科学研究青年基金项目（21YJC72040001）；国家社会科学基金重大项目（20&ZD046）


Author:
Affiliation:

Fund Project:

  • 摘要
    • |
  • 图/表
    • |
  • 访问统计
    • |
  • 参考文献
    • |
  • 相似文献
    • |
  • 引证文献
    • |
  • 资源附件
    摘要:

    直觉主义量化模态逻辑系统IQS5是否接受巴坎公式是尚未解决的问题。通过为系统构建新的克里普克语义，能够证明系统IQS5的弱可靠性和弱完全性，进而可用反模型的方法证明巴坎公式不是系统的内定理，即系统IQS5不接受巴坎公式但接受逆巴坎公式。

    Abstract:

    参考文献
    相似文献
    引证文献
引用本文

程华清.直觉主义量化模态逻辑与巴坎公式[J].湖南科技大学学报(社会科学版),2025,(5):44-52

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2025-11-14

您是本站第 4754718 访问者

通信地址：湖南科技大学期刊社

电话/传真：0731-58291391，0731-58290272 E-mail：xuebao@hnust.edu.cn

版权所有：湖南科技大学学报(社会科学版) ® 2025 版权所有