In the Curry-Howard correspondence for intuitionistic logics, it can be realized through currying and uncurrying.
Import-export expresses a deductive argument form.
This conclusion would be problematic given the paradoxes of material implication, which are commonly taken to show that natural language conditionals are not material implication.
[2][3][4] This problematic conclusion can be avoided within the framework of dynamic semantics, whose expressive power allows one to define a non-material conditional operator which nonetheless satisfies import-export along with the other principles.
[3][5] However, other approaches reject import-export as a general principle, motivated by cases such as the following, uttered in a context where it is most likely that the match will be lit by throwing it into a campfire, but where it is possible that it could be lit by striking it.