Publications

 

Submitted

T. Moraschini. A gentle introduction to the Leibniz hierarchy. (pdf)

N. Bezhanishvili, M. Martins, and T. Moraschini. Bi-intermediate logics of trees and co-trees. (pdf)

D. Fornasiere and T. Moraschini. Intuitionistic Sahqlvist theory for deductive systems. (pdf)

N. Bezhanishvili, A. Dmitrieva, J. de Groot and T. Moraschini. Positive (Modal) Logic Beyond Distributivity. (pdf)

Journal Papers

29. J. Gispert, Z. Haniková, T. Moraschini, and M. Stronkowski. Structural completeness in many-valued logics with rational constants. To appear in the Notre Dame Journal of Formal Logic, 2022. (pdf)

28. T. Lávička, T. Moraschini and J.G. Raftery. The Algebraic Significance of Weak Excluded Middle Laws. Mathematical Logic Quarterly, 68(1):79--94, 2022. (pdf)

27. N. Bezhanishvili and T. Moraschini. Hereditarily structurally complete intermediate logics: Citkin's Theorem via duality. To appear in Studia Logica, 2022. (pdf)

26. G. Bezhanishvili, N. Bezhanishvili, T. Moraschini, and M. Stronkowski. Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics, 391, 2021. (pdf)

25. T. Moraschini. On equational completeness theorems. Published online in the Journal of Symbolic Logic, 2021. (pdf)

24. R. Jansana and T. Moraschini. The poset of all logics I: Interpretations and lattice structure. Journal of Symbolic Logic, 86(3):935--964, 2021. (pdf)

23. R. Jansana and T. Moraschini. The poset of all logics II: Leibniz classes and hierarchy. Published online in the Journal of Symbolic Logic, 2021. (pdf)

22. R. Jansana and T. Moraschini. The poset of all logics III: Finitely presentable logics. Studia Logica, 109:539-580, 2021. (pdf)

21. T. Moraschini and J.J. Wannenburg. Epimorphisms in varieties of Heyting algebras. Annals of Pure and Applied Logic, 171(9), 2020. (pdf)

20. S. Bonzio, T. Moraschini, and M. Pra Baldi. Logics of left variable inclusion and Plonka sums of matrices. Archive for Mathematical Logic, 60: 49-76, 2021. (pdf)

19. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms in varieties of subidempotent residuated structures. Algebra Universalis, 82(6), 2021. (pdf)

18. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Singly generated quasivarieties and residuated structures. Mathematical Logic Quarterly, 66(2):150-172, 2020. (pdf)

17. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: covers of atoms. Review of Symbolic Logic, 13(2):338-374 2020. (pdf)

16. T. Moraschini. Varieties of positive modal algebras and structural completeness. Review of Symbolic Logic, 12(3):557-599, 2019. (pdf)

15. T. Moraschini and J.G. Raftery. On prevarieties of logic. Algebra Universalis, 80(37), 2019. (pdf)

14. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms, definability and cardinalities. Studia Logica, 108:255–275, 2019. (pdf)

13. T. Moraschini. On the complexity of the Leibniz hierarchy. Annals of Pure and Applied Logic, 170(7):805-824, 2019. (pdf)

12. P. Cintula, J. Gil-Férez, T. Moraschini, and F. Paoli. An abstract approach to multiset consequence relations. Review of Symbolic Logic, 12(2):331-371, 2019. (pdf)

11. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: minimality and irreducible algebras. Journal of Pure and Applied Algebra, 223(7):2780-2803, 2019. (pdf)

10. T. Moraschini. A logical and algebraic characterization of adjunctions between generalized quasi-varieties. Journal of Symbolic Logic, 83(3):899-919, 2018. (published version pdf) (extended version pdf)

9. T. Moraschini. A study of truth predicates in matrix semantics. Review of Symbolic Logic, 11(4):780-804, 2018. (pdf)

8. T. Moraschini. A Computational glimpse at the Leibniz and Frege hierarchies. Annals of Pure and Applied Logic, 169(1):1-20, 2018. (pdf)

7. G. Bezhanishvili, T. Moraschini, and J.G. Raftery. Epimorphisms in varieties of residuated structures. Journal of Algebra, 492:185-211, 2017. (pdf)

6. T. Moraschini. The semantic isomorphism theorem in abstract algebraic logic. Annals of Pure and Applied Logic, 167(12):1298-1331, 2016. (pdf)

5. T. Moraschini. On Everywhere strongly logifiable algebras. Reports on Mathematical Logic, 50:83-107, 2015. (pdf)

4. J.M. Font and T. Moraschini. M-Sets and the representation problem. Studia Logica, 103(3):21-51, 2015. (pdf)

3. J.M. Font and T. Moraschini. A Note on congruences of semilattices with sectionally finite height. Algebra Universalis, 72(3):287-293, 2014.

2. J.M. Font and T. Moraschini. Logics of varieties, logics of semilattices, and conjunction. Logic Journal of the IGPL, 22:818–843, 2014. (pdf)

1. T. Moraschini. An algebraic study of exactness in partial contexts. International Journal of Approximate Reasoning, 55:457–468, 2014.

Book Chapters

1. H. Albuquerque, J. M. Font, R. Jansana and T. Moraschini. Truth-Equational Logics, Full Models, and the Frege Hierarchy. In J. Czelakowski, editor, Don Pigozzi on Abstract Algebraic Logic and Universal Algebra, Outstanding Contributions. Springer-Verlag, Volume 16, Pages 53–79, 2018. (pdf)

Conference Papers

2. R. Horčík, T. Moraschini and A. Vidal. An algebraic approach to the valued constraint satisfaction problem. In proceedings of Computer Science in Logic 2017.

1. J.M. Font and T. Moraschini. On the Logics Associated With a Given Variety of Algebras. In proceedings of Trends in Logic XIII, Pages 67–80, 2014.