Contents

# 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

Last revised on November 16, 2022 at 06:05:21. See the history of this page for a list of all contributions to it.