×

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