萨奎斯特逻辑的格

摘要：

以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的.这样得到的逻辑被称为萨奎斯特逻辑.所有的萨奎斯特逻辑组成了一个格.这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1.另外,萨奎斯特逻辑格的子格E具有规整的结构.

关键词：萨奎斯特公式、萨奎斯特逻辑、格

所属期刊栏目：2

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目编号08CZX020;中国博士后基金项目编号20080431331

在线出版日期：2009-05-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：54-61