String Diagrams for Regular Logic.¶
Fong, B., & Spivak, D. (2020). String Diagrams for Regular Logic. Electronic Proceedings in Theoretical Computer Science, 196-229.
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 sourceRelates regular categories, relation composition, and the equality–truth–conjunction–existential fragment.
- 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:8481e3746247 · see in the full table