Assertion: local logic | /r/CapableOf | move along an infomorphism \(f
Facets:
Source sentences:
text: A local logic \(L\) in \(\mathbf{A}\) can be “moved” along an infomorphism \(f : \mathbf{A} \rightarrow