Deducibility and exactness

DOI10.1093/jigpal/6.2.341zbMath0895.18002OpenAlexW1982720815MaRDI QIDQ4383705

Jacques Riguet

Publication date: 14 September 1998

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

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

zbMATH Keywords

homologybinary relationsexactnessdeducibilityrelation calculusexact squarederived relationcanonical preorder of relationexact part of relation

Mathematics Subject Classification ID

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

Related Items (1)

Contractible exact squares

This page was built for publication: Deducibility and exactness