Mar 012013
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". |