Left exact logic (Q1092902): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1105687 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Kimmo I. Rosenthal / rank | |||
Normal rank |
Revision as of 01:40, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Left exact logic |
scientific article |
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