Functional programming
Functional programming calculi foremostly depend on the implication connective, see e.g. the calculus of constructions for a predicate logic framework.