News‎ > ‎

Seminar: A Calculus of Controlled Monotonicity

posted Mar 1, 2013, 9:13 AM by Massimo Bartoletti   [ updated Mar 1, 2013, 9:13 AM ]
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".

Comments