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