# 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).

Last revised on June 8, 2017 at 06:27:32. See the history of this page for a list of all contributions to it.