Logical categories, semantical categories and topoi
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 87-100
- https://doi.org/10.1007/bfb0061294
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logicLecture Notes in Mathematics, 1972
- Sheaf theory and the continuum hypothesisLecture Notes in Mathematics, 1972
- Exact categoriesLecture Notes in Mathematics, 1971
- Equality in hyperdoctrines and comprehension schema as an adjoint functorProceedings of Symposia in Pure Mathematics, 1970
- Deductive systems and categoriesTheory of Computing Systems, 1968