Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas |
| |
| Authors: | Tatsuya Shimura |
| |
| Affiliation: | 1. Department of Mathematics College of Science and Technology, Nihon University, Surugadai, 101, Tokyo, Japan
|
| |
| Abstract: | For each intermediate propositional logicJ, J* denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ*+D(= x(p(x) q) xp(x)q) is shown in some cases including:| 1. | J is tabular, | | 2. | J is a subframe logic. |
A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
