首页 > 《中国哲学年鉴》 > 2014年1期 > 常逻辑公式与可定义性

常逻辑公式与可定义性

在线阅读下载PDF 导出详情

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

DOI rj8zl06pj0/1765910

作者马明辉

机构地区不详

出处《中国哲学年鉴》 2014年1期

关键词模态逻辑定义公式充分必要条件直觉主义逻辑封闭

分类 [哲学宗教][中国哲学]

出版日期 2014年01月11日（中国期刊网平台首次上网日期，不代表论文的发表时间）