Data di Pubblicazione:
2014
Citazione:
A logical calculus for controlled monotonicity / M. D'Agostino, M. Piazza, G. Pulcini. - In: JOURNAL OF APPLIED LOGIC. - ISSN 1570-8683. - 12:4(2014), pp. 558-569.
Abstract:
In this paper we introduce a new deductive framework for analyzing processes displaying a kind of controlled monotonicity. In particular, we prove the cut-elimination theorem for a calculus involving series-parallel structures over partial orders which is built up from multi-level sequents, an interesting variant of Gentzen-style sequents. More broadly, our purpose is to provide a general, syntactical tool for grasping the combinatorics of non-monotonic processes.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Substructural logics; Non-monotonicity; Cut-elimination; Series-parallel structures
Elenco autori:
M. D'Agostino, M. Piazza, G. Pulcini
Link alla scheda completa: