함수형 프로그래밍
Functional programming calculi foremostly depend on the implication connective, see e.g. the calculus of constructions for a predicate logic framework.