A logical calculus for controlled monotonicity

Marcello D'Agostino, Mario Piazza, Gabriele Pulcini. A logical calculus for controlled monotonicity. J. Applied Logic, 12(4):558-569, 2014. [doi]

Abstract

Abstract is missing.