# Contents

## Definition

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

## References

Around def. D1.3.4 (p. 833) of

Revised on September 27, 2012 10:08:23 by Anonymous Coward (188.16.11.201)