×

zbMATH — the first resource for mathematics

Sheaves and logic. (English) Zbl 0415.03053
Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 302-401 (1979).

MSC:
03G30 Categorical logic, topoi
18B25 Topoi
06D20 Heyting algebras (lattice-theoretic aspects)
54A05 Topological spaces and generalizations (closure spaces, etc.)
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
Citations:
Zbl 0407.00001