TESI, Matteo
TESI, Matteo
Classe di Lettere e Filosofia
Mostra
records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.02 secondi).
Analyticity with extra-logical information
2025 Piazza, Mario; Tesi, Matteo
Constructive theories through a modal lens
2025 Tesi, Matteo
Fractional-valued modal logic
2023 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo
Fractional-valued modal logic and soft bilateralism
2023 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo
Infinitary logic with infinite sequents: syntactic investigations
2024 Tesi, Matteo
Inside Classical Logic: Truth, Contradictions, Fractionality
2025 Piazza, Mario; Tesi, Matteo
Labelled sequent calculi for Lewis’ non-normal propositional modal logics
2021 Tesi, Matteo
Labelled sequent calculi for logics of strict implication
2022 Orlandelli, Eugenio; Tesi, Matteo
Linear logic in a refutational setting
2024 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
2021 Tesi, Matteo; Negri, Sara
Non-contractive logics, paradoxes, and multiplicative quantifiers
2024 Nicolai, Carlo; Piazza, Mario; Tesi, Matteo
On the proof theory of infinitary modal logic
2022 Tesi, Matteo
Subintuitionistic logics and their modal companions: a nested approach
2024 Tesi, Matteo
Taming bounded depth with nested sequents
2022 Ciabattoni, Agata; Strassburger, Lutz; Tesi, Matteo
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
2023 Tesi, Matteo; Negri, Sara
Through and beyond classicality: analyticity, embeddings, infinity
2023 Tesi, Matteo