常逻辑公式与可定义性
DOI:
作者:
作者单位:

作者简介:

通讯作者:

基金项目:

国家社科基金青年项目(12CZX054)


Constant Logical Formulas and Definability
Author:
Affiliation:

Fund Project:

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

    常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。

    Abstract:

    Constant logical formulas are those without propositional variable. They can be used to define classes of structures, while some classes of structures cannot be defined by any set of constant logical formulas. In modal logic, a first-order definable class of frames is definable by a set of constant modal formulas if and only if it is closed under subjective bisimulation images, disjoint unions, while its complement is closed under ultra-filter extensions. A class of finite transitive frames is relatively definable by constant modal formulas if and only if it is closed under subjective bisimulations and disjoint unions. The second theorem can be extended to intuitionistic logic.

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

马明辉.常逻辑公式与可定义性[J].湖南科技大学学报(社会科学版),2013,16(6):23-27

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