Left exact logic (Q1092902): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0022-4049(86)90100-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2037442423 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Aspects of topoi: Corrigenda and acknowledgements / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Model theory and topoi. A collection of lectures by various authors / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Completeness results for intuitionistic and modal logic in a categorical setting / rank | |||
Normal rank | |||
Latest revision as of 11:46, 18 June 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
