# 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 July 27, 2016 07:55:15 by Thomas Holder (176.6.22.224)