|
|||||
|
|
Partially-Elementary Extension Kripke Models: A Characterization and Applications |
|
| Authors: | Polacik Tomasz |
| Affiliation: | 1 University of Silesia, Institute of Mathematics, Bankowa 14, 40-007 Katowice, Poland. E-mail: polacik{at}us.edu.pl |
| Abstract: | |
| Keywords: | Kripke models constructive theories Heyting arithmetic and fragments |
| 本文献已被 Oxford 等数据库收录！ | |