常逻辑公式与可定义性
常逻辑公式是不合命题变元的逻辑公式,运用它们可以定义结构类.但反过来某些结构类却不能以常逻辑公式集定义.模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭.有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭.这两条定理中后一条可推广至直觉主义逻辑.
模态逻辑、直觉主义逻辑、框架类、可定义
16
B81(逻辑学(论理学))
国家社科基金青年项目12CZX054
2014-01-13(万方平台首次上网日期,不代表论文的发表时间)
共5页
23-27