Publications
Definability and epimorphisms in algebra and logic
L. Carai, M. Kurtzhals, and T. Moraschini. The theory of implicit operations. Manuscript. (pdf)
L. Carai, M. Kurtzhals, and T. Moraschini. An addendum to "The theory of implicit operations". Manuscript. (pdf)
L. Carai, M. Kurtzhals, and T. Moraschini. Epimorphisms between finitely generated algebras. Indagationes Mathematicae, 2025. (pdf)
T. Moraschini, K. Yamamoto, and J.J. Wannenburg. Elementary equivalence in positive logic via prime products. Journal of Symbolic Logic, 2023. (pdf)
T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms in varieties of subidempotent residuated structures. Algebra Universalis, 2021. (pdf)
T. Moraschini and J.J. Wannenburg. Epimorphisms in varieties of Heyting algebras. Annals of Pure and Applied Logic, 2020. (pdf)
T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms, definability and cardinalities. Studia Logica, 2019. (pdf)
T. Moraschini. A logical and algebraic characterization of adjunctions between generalized quasi-varieties. Journal of Symbolic Logic, 2018. (pdf)
G. Bezhanishvili, T. Moraschini, and J.G. Raftery. Epimorphisms in varieties of residuated structures. Journal of Algebra, 2017. (pdf)
Intuitionistic logic, Heyting algebras and duality theory
D. Fornasiere and T. Moraschini. Degrees of incompleteness of implicative logics: the trichotomy theorem. Submitted, 2025. (pdf)
T. Benjamins, N. Bezhanishvili, and T. Moraschini. Local finiteness and colorings for varieties of Heyting algebras of bounded width. Submitted, 2025. (pdf)
D. Fornasiere and T. Moraschini. Trees and spectra of Heyting algebras. Indagationes Matematicae, 2025. (pdf)
L. Carai and T. Moraschini. On the universal theory of the free pseudocomplemented distributive lattice. Journal of Algebra, 2025. (pdf)
M. Martins and T. Moraschini. Local tabularity is decidable for bi-intermediate logics of trees and of co-trees. Annals of Pure and Applied Logic, 2025. (pdf)
G. Bezhanishvili, N. Bezhanishvili, and T. Moraschini. Degrees of the finite model property: the antidichotomy theorem. Journal of Mathematical Logic, 2025. (pdf)
T. Hyttinen, M. Martins, T. Moraschini, and D. Quadrellaro. Strictly n-finite varieties of Heyting algebras. Journal of Symbolic Logic, 2024. (pdf)
N. Bezhanishvili, M. Martins, and T. Moraschini. Bi-intermediate logics of trees and co-trees. Annals of Pure and Applied Logic, 2024. (pdf)
N. Bezhanishvili, A. Dmitrieva, J. de Groot and T. Moraschini. Positive Modal Logic Beyond Distributivity. Annals of Pure and Applied Logic, 2023. (pdf)
N. Bezhanishvili and T. Moraschini. Hereditarily structurally complete intermediate logics: Citkin's Theorem via duality. Studia Logica, 2023. (pdf)
G. Bezhanishvili, N. Bezhanishvili, T. Moraschini, and M. Stronkowski. Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics, 2021. (pdf)
T. Moraschini. Varieties of positive modal algebras and structural completeness. Review of Symbolic Logic, 2019. (pdf)
Abstract algebraic logic
D. Fornasiere and T. Moraschini. Intuitionistic Sahlqvist theory for deductive systems. Journal of Symbolic Logic, 2023. (pdf)
T. Moraschini. A gentle introduction to the Leibniz hierarchy. In J. Malinowski and R. Palczewski, editors, Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic. Springer-Verlag, 2023. (pdf)
T. Moraschini. On equational completeness theorems. Journal of Symbolic Logic, 2022. (pdf)
T. Lávička, T. Moraschini and J.G. Raftery. The Algebraic Significance of Weak Excluded Middle Laws. Mathematical Logic Quarterly, 2022. (pdf)
R. Jansana and T. Moraschini. The poset of all logics I: Interpretations and lattice structure. Journal of Symbolic Logic, 2021. (pdf)
R. Jansana and T. Moraschini. The poset of all logics II: Leibniz classes and hierarchy. Journal of Symbolic Logic, 2023. (pdf)
R. Jansana and T. Moraschini. The poset of all logics III: Finitely presentable logics. Studia Logica, 2021. (pdf)
T. Moraschini. On the complexity of the Leibniz hierarchy. Annals of Pure and Applied Logic, 2019. (pdf)
T. Moraschini and J.G. Raftery. On prevarieties of logic. Algebra Universalis, 2019. (pdf)
P. Cintula, J. Gil-Férez, T. Moraschini, and F. Paoli. An abstract approach to multiset consequence relations. Review of Symbolic Logic, 2019. (pdf)
T. Moraschini. A study of truth predicates in matrix semantics. Review of Symbolic Logic, 2018. (pdf)
T. Moraschini. A Computational glimpse at the Leibniz and Frege hierarchies. Annals of Pure and Applied Logic, 2018. (pdf)
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 to Logic. Springer-Verlag, 2018. (pdf)
T. Moraschini. The semantic isomorphism theorem in abstract algebraic logic. Annals of Pure and Applied Logic, 2016. (pdf)
J.M. Font and T. Moraschini. M-Sets and the representation problem. Studia Logica, 2015. (pdf)
Many-valued and relevance logics
J. Gispert, Z. Haniková, T. Moraschini, and M. Stronkowski. Structural completeness in many-valued logics with rational constants. Notre Dame Journal of Formal Logic, 2022. (pdf)
T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Singly generated quasivarieties and residuated structures. Mathematical Logic Quarterly, 2020. (pdf)
T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: covers of atoms. Review of Symbolic Logic, 2020. (pdf)
T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: minimality and irreducible algebras. Journal of Pure and Applied Algebra, 2019. (pdf)
T. Moraschini. An algebraic study of exactness in partial contexts. International Journal of Approximate Reasoning, 2014.
Miscellanea
L. Carai, M. Kurtzhals, and T. Moraschini. Congruence permutability in quasivarieties. A telegraphic note not aimed at publication, 2025. (pdf)
S. Bonzio, T. Moraschini, and M. Pra Baldi. Logics of left variable inclusion and Plonka sums of matrices. Archive for Mathematical Logic, 2021. (pdf)
T. Moraschini. On Everywhere strongly logifiable algebras. Reports on Mathematical Logic, 2015. (pdf)
J.M. Font and T. Moraschini. A Note on congruences of semilattices with sectionally finite height. Algebra Universalis, 2014.
J.M. Font and T. Moraschini. Logics of varieties, logics of semilattices, and conjunction. Logic Journal of the IGPL, 2014. (pdf)
R. Horčík, T. Moraschini and A. Vidal. An algebraic approach to the valued constraint satisfaction problem. In Proceedings of Computer Science in Logic (CSL), 2017.
J.M. Font and T. Moraschini. On the Logics Associated With a Given Variety of Algebras. In Proceedings of Trends in Logic XIII, 2014.
