作 者：
;
机构地区：
中山大学
出 处：
《湖南科技大学学报：社会科学版》
2013年第6期23-27,共5页
摘 要：
常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
关 键 词：
模态逻辑
直觉主义逻辑
框架类
可定义
分 类 号：
[B812]
领 域：
[]
