Regular logic
= Regular logic
Regular logic has atomic formulas and equality, truth, finite conjunction and unrestricted existential quantification. Its categorical semantics uses <regular categories>: conjunction is intersection and existential quantification is image. Disjunction and falsity are not added as formula constructors in the regular fragment.