Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, "The Functional Interpretation of Logical Deduction"
This comprehensive book provides an adequate framework to establish various calculi of logical inference.