Seminar: A Calculus of Controlled Monotonicity

Post date: 01-Mar-2013 17:13:52

Upcoming Seminar

A Calculus of Controlled Monotonicity

March 5, 15.00

Aula F - Palazzo delle Scienze - Cagliari

Gabriele Pulcini

Dipartimento di Informatica - Scienza e Ingegneria - Università di Bologna

Abstract. We introduce a cut-free logical system involving serio-parallel structures relying on preorders. This system describes processes displaying a

kind of controlled monotonicity (e.g. biochemical processes) by means of a specific variant of standard Gentzen-style sequents called "embedded sequents".