A Logical Representation of Extension Transformation

In this paper extension transformation is considered as a kind of relation between the object accepted transformation and the objects as transformation result. For studying the logical representation of extension transformation, the theory of extension logic is developed further, including its syntax and semantics. The logical definitions about extension transformation, basic operations of extension transformation and conductive transformation are given with some examples.