Regular Categories and Regular Logic¶
Carsten, B. (1998). Regular Categories and Regular Logic. BRICS Lecture Series.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Regular Category
- Regularity provides canonical images, a stable calculus of internal relations, and semantics for regular logic—the fragment generated by equality, truth, finite conjunction, and existential quantification.
This sourceDetailed treatment of regular categories, regular logic, soundness, internal language, and generic models.
- Regularity provides canonical images, a stable calculus of internal relations, and semantics for regular logic—the fragment generated by equality, truth, finite conjunction, and existential quantification.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:5c24d58f055a · see in the full table