Logic Subpackages
&LIOBJ;: Logical Implications for Objects of Abelian Categories
&LIMOR;: Logical Implications for Morphisms of Abelian Categories
&LICPX;: Logical Implications for Complexes in Abelian Categories