NExtK4中濒表格逻辑研究回顾

• 作者: 杜珊
• 来源期刊: 计算机科学与探索
• 学科: 哲学
• 关键词: 5参数法 Blok的替换术与复制术 拟Scroggs-链
• 年，卷（期）: 2010,（12）
• 页码范围: 1131-1146
• 分类号: B813
• 字数: 15962字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.12.008

摘要

对NExtK4中的濒表格逻辑的发展史进行了详细研究,从中得到结论:从Scroggs发现S5是濒表格的,到Maksimova、Esakia和Meskhi独立证明S4正好有5个濒表格扩充,再到Blok建立的两个著名定理,濒表格逻辑的判据问题始终没有得到解决.尽管Blok的替换术与复制术是最接近的解决判据问题的方法,但由于其做法是从非"濒表格模式"的框架入手,阻碍了看清问题的实质从而不能完全解决判据问题;为改进Blok的方法,必须在"拟Scroggs-链"的起始框架模式的深度上作更苛刻的归约.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜珊	武汉大学哲学学院	4	2	1.0	1.0