Deducibility and exactness

DOI10.1093/JIGPAL/6.2.341MaRDI QIDQ4383705zbMATH OpenOpenAlexFDO

Authors Jacques Riguet

Publication date 14 September 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/92c342971a5f8f366ad0b26ea63b99c7e403e3bd

zbMATH Keywords

binary relationscanonical preorder of relationdeducibilityderived relationexact part of relationexact squareexactnesshomologyrelation calculus

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Categorical logic, topoi (03G30) Relational systems, laws of composition (08A02) Categories of spans/cospans, relations, or partial maps (18B10) Homological algebra in category theory, derived categories and functors (18G99)

Recommendations

• scientific article; zbMATH DE number 3955177
• Relations in operational categories
• Remarks on exactness notions pertaining to pushouts
• Binary relations. Addenda. 1: Kernel, restrictions and inducing, relational morphisms
• scientific article; zbMATH DE number 4069149

Cited in

(3)

• Definable deduction relation
• Contractible exact squares
• scientific article; zbMATH DE number 3955177 (Why is no real title available?)

This page was built for publication: Deducibility and exactness

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