On Kreisel's notion of validity in post systems |
| |
| Authors: | Dov M. Gabbay |
| |
| Affiliation: | (1) Bar-Ilan University, Ramat-Gan, Israel |
| |
| Abstract: | This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems.§1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.Allatum est die 27 Octobris 1975 |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
