<p>It is shown that the logic <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textbf{subDL}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">subDL</mi> </math></EquationSource> </InlineEquation> satisfies the signed variable sharing property, as well as the depth relevance property. The proofs given are by way of translations into logics which are known to satisfy the requisite properties.</p>
It is shown that the logic \(\textbf{subDL}\) satisfies the signed variable sharing property, as well as the depth relevance property. The proofs given are by way of translations into logics which are known to satisfy the requisite properties.
