Left exact logic

DOI10.1016/0022-4049(86)90100-3MaRDI QIDQ1092902zbMATH OpenOpenAlexFDO

Authors Colin McLarty

Publication date 1986

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(86)90100-3

zbMATH Keywords

fragment of coherent logicLeft exact logicleft exact sketchesleft exact theoriesuniversal Horn logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

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.

Recommendations

• Logic, sheaves, and factorization systems
• scientific article; zbMATH DE number 2079262
• scientific article; zbMATH DE number 810190
• Structuring the universe of universal logic
• Partial Horn logic and Cartesian categories

Cites work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Aspects of topoi: Corrigenda and acknowledgements
• Completeness results for intuitionistic and modal logic in a categorical setting
• Model theory and topoi. A collection of lectures by various authors

Cited in

(7)

• Perfect Pavelka logic
• On linear exactness properties
• scientific article; zbMATH DE number 4137744 (Why is no real title available?)
• Left pf is not right pf
• scientific article; zbMATH DE number 810190 (Why is no real title available?)
• Proving semantical equivalence of data specifications
• Partial Horn logic and Cartesian categories

This page was built for publication: Left exact logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1092902)