A logical calculus for controlled monotonicity |
| |
Institution: | 1. Dipartimento di Economia e Management, Università di Ferrara, Italy;2. Dipartimento di Scienze Filosofiche, Pedagogiche ed Economico-Quantitative, Università di Chieti–Pescara, Italy;3. Department of Philosophy & Center for Logic, Epistemology and History of Science, State University of Campinas, Brazil |
| |
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. |
| |
Keywords: | Substructural logics Non-monotonicity Cut-elimination Series-parallel structures |
本文献已被 ScienceDirect 等数据库收录! |
|