# 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

Revised on June 8, 2017 07:27:13 by Thomas Holder (2.247.254.250)