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)

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)

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

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)