Import–export (logic)
Principle of classical logic / From Wikipedia, the free encyclopedia
In propositional logic, import-export is a name given to the propositional form of Exportation:
.
This already holds in minimal logic, and thus also in classical logic, where the conditional operator "" is taken as material implication.
In the Curry-Howard correspondence for intuitionistic logics, it can be realized through currying and uncurrying.