Cut Elimination for Extended Sequent Calculi

Autor: Simone Martini, Andrea Masini, Margherita Zorzi

Publikováno v: Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 459-495 (2023)

We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the sy

Externí odkaz: https://doaj.org/article/b1e1dee47c9c4f58b207a9f0b231cab9

Diagnostics as a Reasoning Process: From Logic Structure to Software Design

Autor: Matteo Cristiani, Francesco Olivieri, Claudio Tomazzoli, Luca Vigano, Margherita Zorzi

Publikováno v: Journal of Computing and Information Technology, Vol 27, Iss 1, Pp 43-57 (2019)

Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reason

Externí odkaz: https://doaj.org/article/54c5f0cf506f493d8f50ea294a929ad8

A Logic for Quantum Register Measurements

Autor: Andrea Masini, Margherita Zorzi

Publikováno v: Axioms, Vol 8, Iss 1, p 25 (2019)

We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum regi

Externí odkaz: https://doaj.org/article/d47c6a1f930746b79d8dfa7e9ba1f852

General Ramified Recurrence is Sound for Polynomial Time

Autor: Ugo Dal Lago, Simone Martini, Margherita Zorzi

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 23, Iss Proc. DICE 2010, Pp 47-62 (2010)

Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivant's result, however, is originally stated and proved only for word alg

Externí odkaz: https://doaj.org/article/c0e509b56eba4c29947585e7443381e7

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

Autor: Simone Martini, Andrea Masini, Margherita Zorzi

Publikováno v: ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩
ACM Transactions on Computational Logic, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩

International audience; We extend to natural deduction the approach of Linear Nested Sequents and of 2-Sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deductio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3995d73bf5d1dcb16b6961d8f2eeaf4a
https://hal.inria.fr/hal-03342394