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.
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.
Titolo: | A logical calculus for controlled monotonicity |
Autori: | |
Parole Chiave: | Substructural logics; Non-monotonicity; Cut-elimination; Series-parallel structures |
Settore Scientifico Disciplinare: | Settore M-FIL/02 - Logica e Filosofia della Scienza Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
Data di pubblicazione: | 2014 |
Rivista: | |
Tipologia: | Article (author) |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.jal.2014.08.001 |
Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
1-s2.0-S1570868314000627-main.pdf | Publisher's version/PDF | Administrator Richiedi una copia |