|
|||||
|
|
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics |
|
| Authors: | Skvortsov D |
| Abstract: | A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki 8], is modified and applied to intervals of the form L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper. |
| Keywords: | intermediate predicate logics cardinality Kripke-type semantics Jankov formulas |
| 本文献已被 SpringerLink 等数据库收录！ | |