Matteo Tesi
Projektass. / PhD
Role
-
PostDoc Researcher
Theory and Logic, E192-05
Projects
Publications
- Logic, contradictions and fractional interpretations / Tesi, M. (2024, June). Logic, contradictions and fractional interpretations [Conference Presentation]. 1st SNS-KCLL Logic and Philosophy of Mathematics Meeting (2024), Pisa, Italy.
-
Ways to infinity in structural proof theory
/
Tesi, M. (2024, June). Ways to infinity in structural proof theory [Conference Presentation]. PLEXUS Workshop on Substructural and Non-Classical Logics, Turin, Italy.
Project: LoDEx (2024–2026) -
Analyticity with extra-logical information
/
Piazza, M., & Tesi, M. (2024). Analyticity with extra-logical information. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exae013
Project: LoDEx (2024–2026) - Logic, contradictions and fractional interpretations / Tesi, M. (2024, April). Logic, contradictions and fractional interpretations [Presentation]. Logic Seminar in Urbino, 2024, Urbino, Italy.
-
Sequents vs. Hypersequents for deontic logics
/
Tesi, M. (2024, March). Sequents vs. Hypersequents for deontic logics [Conference Presentation]. Proof, Argumentation, Computation, Modalities and Negation (PACMAN 2024), Verona, Italy.
Project: LoDEx (2024–2026) -
Constructive theories through a modal lens
/
Tesi, M. (2024, February 15). Constructive theories through a modal lens [Conference Presentation]. Workshop “The art of Proofs,” Bologna, Italy.
Project: LoDEx (2024–2026) -
Subintuitionistic logics and their modal companions: a nested approach
/
Tesi, M. (2024, January 18). Subintuitionistic logics and their modal companions: a nested approach [Presentation]. Logic Seminar Verona 2024, Verona, Italy.
Project: LoDEx (2024–2026) -
Subintuitionistic logics and their modal companions: a nested approach
/
Tesi, M. (2024). Subintuitionistic logics and their modal companions: a nested approach. Journal of Applied Non-Classical Logics. https://doi.org/10.1080/11663081.2024.2366756
Project: REMODEL (2024–2026) -
A Syntactic Proof of the Decidability of First-Order Monadic Logic
/
Orlandelli, E., & Tesi, M. (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, 53(2), 223–244. https://doi.org/10.18778/0138-0680.2024.03
Project: LoDEx (2024–2026) -
Sequents vs Hypersequents for Aqvist Systems
/
Ciabattoni, A., & Tesi, M. (2024). Sequents vs Hypersequents for Aqvist Systems. In C. Benzmüller, M. Heule, & R. Schmidt (Eds.), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 176–195). Springer. https://doi.org/10.1007/978-3-031-63501-4_10
Project: LoDEx (2024–2026)