|
|||||
|
|
Partial isomorphisms and intuitionistic logic |
|
| Authors: | Bernd I. Dahn |
| Affiliation: | (1) Sektion Mathematik der Humboldt-Univebsität, DDR-1086 Berlin, PSF 1297 |
| Abstract: | A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |