Tommaso Moraschini
Universidad de Barcelona
H-index: 11
Europe-Spain
Top articles of Tommaso Moraschini
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Gentle Introduction to the Leibniz Hierarchy | Tommaso Moraschini | 2024/3/10 | |
Epimorphisms between finitely generated algebras | arXiv preprint arXiv:2402.14745 | Luca Carai Miriam Kurtzhals Tommaso Moraschini | 2024/2/22 |
Positive modal logic beyond distributivity | Annals of Pure and Applied Logic | Nick Bezhanishvili Anna Dmitrieva Jim de Groot Tommaso Moraschini | 2024/2/1 |
On locally finite varieties of Heyting algebras | arXiv preprint arXiv:2306.15997 | M Martins T Moraschini | 2023/6/28 |
Elementary equivalence in positive logic via prime products | The Journal of Symbolic Logic | Tommaso Moraschini Johann J Wannenburg Kentaro Yamamoto | 2023/3/4 |
The poset of all logics II: Leibniz classes and hierarchy | The Journal of Symbolic Logic | Ramon Jansana Tommaso Moraschini | 2023/3 |
Degrees of the finite model property: The antidichotomy theorem | arXiv preprint arXiv:2307.07209 | Guram Bezhanishvili Nick Bezhanishvili Tommaso Moraschini | 2023/7/14 |
Logics of variable inclusion | Stefano Bonzio Francesco Paoli Michele Pra Baldi | 2022/6/9 | |
Sahlqvist theory for fragments of Intuitionistic Logic | Conference talk at LATD | Damiano Fornasiere Tommaso Moraschini | 2022/9/5 |
The algebraic significance of weak excluded middle laws | Mathematical Logic Quarterly | Tomáš Lávička Tommaso Moraschini James G Raftery | 2022/2 |
Hereditary Structural Completeness over K4 | VO| Ume Of | James Carr Nick Bezhanishvili Tommaso Moraschini | 2022/9/5 |
Generalized ultraproducts for positive logic | Tommaso Moraschini Johan J Wannenburg Kentarô Yamamoto | 2022/8/8 | |
On equational completeness theorems | The Journal of Symbolic Logic | Tommaso Moraschini | 2022/12 |
Sahlqvist correspondence for deductive systems | Damiano Fornasiere Tommaso Moraschini | 2022 | |
Structural completeness in many-valued logics with rational constants | Notre Dame Journal of Formal Logic | Joan Gispert Zuzana Haniková Tommaso Moraschini Michał Stronkowski | 2022/8 |
Bi-intermediate logics of trees and co-trees | arXiv preprint arXiv:2211.14776 | Nick Bezhanishvili Miguel Martins Tommaso Moraschini | 2022/11/27 |
Intuitionistic Sahlqvist theory for deductive systems | The Journal of Symbolic Logic | Damiano Fornasiere Tommaso Moraschini | 2022/7/28 |
Degrees of the finite model property: lhe antidichotomy theorem | VO| Ume Of | Nick Bezhanishvili Guram Bezhanishvili Tommaso Moraschini | 2022/9/5 |
The poset of all logics I: interpretations and lattice structure | The Journal of Symbolic Logic | Ramon Jansana Tommaso Moraschini | 2021/9 |
Lecture Notes on The Algebra of Logic | Tommaso Moraschini | 2021/6/28 |