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