A free IPC is a natural logic: Strong completeness for some intuitionistic free logics |
| |
Authors: | Carl J. Posy |
| |
Affiliation: | 1. Duke University, USA
|
| |
Abstract: | IPC, the intuitionistic predicate calculus, has the property - Vc(Γ?A c /x) ? Γ??xA.Furthermore, for certain important Γ, IPC has the converse property
- Γ??xA ? Vc(Γ?A c /x).
- may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii).
|
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|