×

Deductive systems and categories. III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic. (English) Zbl 0244.18006

Toposes, algebraic Geometry and Logic, Dalhousie Univ. Halifax 1971, Lect. Notes Math. 274, 57-82 (1972).

MSC:

18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B40 Combinatory logic and lambda calculus
03F55 Intuitionistic mathematics
03B55 Intermediate logics
18A15 Foundations, relations to logic and deductive systems