Left exact logic
type: Item
instance of: scholarly article
title: Left exact logic
zbMATH Open document ID: 0628.03042
DOI: 10.1016/0022-4049(86)90100-3
author: Colin McLarty
published in: Journal of Pure and Applied Algebra
publication date: 1986-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 4021134
zbMATH Keywords: Left exact logic
zbMATH Keywords: fragment of coherent logic
zbMATH Keywords: left exact theories
zbMATH Keywords: left exact sketches
zbMATH Keywords: universal Horn logic
reviewed by: K. I. Rosenthal
MaRDI profile type: Publication
full work available at URL: 0022-4049(86)90100-3
OpenAlex ID: W2037442423
cites work: Aspects of topoi: Corrigenda and acknowledgements
cites work: Model theory and topoi. A collection of lectures by various authors
cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
description: scientific article; zbMATH DE number 4021134