NExtK4中濒表格逻辑研究回顾

摘要：

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

关键词：5参数法、Blok的替换术与复制术、拟Scroggs-链

所属期刊栏目：4

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

资助基金：The National Social Science Foundation of China under Grant No.07CZX005

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

页数：共16页

页码：1131-1146