Left exact logic (Q1092902)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Left exact logic |
scientific article; zbMATH DE number 4021134
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Left exact logic |
scientific article; zbMATH DE number 4021134 |
Statements
Left exact logic (English)
0 references
1986
0 references
Left exact logic is a fragment of coherent logic, which has coherent logic as a conservative extension. Left exact logic is interpretable in any category with all finite limits and left exact theories and their models correspond to the left exact sketches and their models as discussed by \textit{M. Barr} and \textit{C. Wells} [Toposes, triples, and theories (1985; Zbl 0567.18001)]. This paper outlines the rules of left exact logic and briefly discusses its relation with coherent logic as well as with universal Horn logic.
0 references
Left exact logic
0 references
fragment of coherent logic
0 references
left exact theories
0 references
left exact sketches
0 references
universal Horn logic
0 references
