IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishIn 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.
| 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): | 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 |
http://hdl.handle.net/2434/328724
Copyright © 2018