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