10.3778/j.issn.1673-9418.2010.12.008
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