Title萨奎斯特逻辑的格
Authors周北海
裘江杰
Affiliation北京大学哲学系
Keywords奎斯特
可数无穷
反链
格中
于格
子格
Issue Date2007
Citation2007年现代逻辑与逻辑史研讨会..
Abstract萨奎斯特公式类在1970年代中期被得到,它们的特别之处在于它们都是一阶可定义的,并且以它们为额外公理添加到K上将得到完全的逻辑,这样的逻辑被称为萨奎斯特逻辑。我们发现萨奎斯特逻辑组成了一个格,进而发现格中有可数无穷长的链和反链,以及格中的每个逻辑相对于格的不完全度是1;另外我们还将讨论萨奎斯特逻辑格的子格E。
URIhttp://hdl.handle.net/20.500.11897/62702
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

百度学术™



Checked on Current Time




License: See PKU IR operational policies.