# Contents

## Idea

Cartesian logic or finite limit logic is the internal logic of finitely complete categories (which the Elephant calls cartesian categories).

## References

Cartesian logic was introduced in the early seventies by John Isbell, Peter Freyd and Michel Coste (cf. Johnstone 1979). A standard source is Johnstone (2002).

Revised on June 8, 2017 06:27:32 by Thomas Holder (2.247.253.118)