# Contents

## Definition

Regular logic is the internal logic of regular categories. Its logical operations consist only of truth, conjunction, and existential quantification, which makes it a superset of finite-limit logic and a subset of coherent logic and geometric logic.

## References

Section 4.2 of

Section D1.2 of

Revised on April 27, 2011 20:28:42 by Toby Bartels (64.89.61.127)