| Автор | PALMGREN, ERIK |
| Дата выпуска | 2004 |
| dc.description | In this paper we interpret (fragments of) intuitionistic logic in categories with weak closure properties, such as quasi left exact categories and locally cartesian closed categories (LCCC) with sums. We also interpret the full choice scheme in an LCCC. The interpretation can be seen as a categorical form of the usual Brouwer–Heyting– Kolmogorov (BHK) interpretation. The standard interpretation of geometric logic in a pretopos is obtained by applying the image functor to the BHK-interpretation. |
| Издатель | Cambridge University Press |
| Название | A categorical version of the Brouwer–Heyting–Kolmogorov interpretation |
| DOI | 10.1017/S0960129503003955 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 14 |
| Первая страница | 57 |
| Последняя страница | 72 |
| Аффилиация | PALMGREN ERIK; Uppsala University |
| Выпуск | 1 |
