Tommaso Moraschini

Tommaso Moraschini

Investigador programa Beatriz Galindo

ORCID: 0000-0001-9784-3116
Researcher ID: S-7699-2017

Research group: GRC-Grup de recerca en lògiques no clàssiques

Contact Information
Department of Philosophy
Department of Philosophy, University of Barcelona, Carrer de Montalegre 6

tommaso.moraschini(a)ub.edu

Relevant publications

Jansana, R.; Moraschini, T. (2021). The Poset of all Logics I: Interpretations and Lattice Structure. Journal of Symbolic Logic . ISSN: 0022-4812
Jansana, R.; Moraschini, T. (2021). The poset of all logics II: Leibniz classes and hierarchy. Journal of Symbolic Logic . ISSN: 0022-4812
Moraschini, T. (2021). On equational completeness theorems. Journal of Symbolic Logic . ISSN: 0022-4812
Bezhanishvili, G.; Bezhanishvili, N.; Moraschini, T.; Stronkowski, M. (2021). Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics . ISSN: 0001-8708
Moraschini, T. (2019). On the complexity of the Leibniz hierarchy. Annals of Pure and Applied Logic, 170(7), pp. 805 - 824 . ISSN: 0168-0072
Moraschini, T. (2018). A Computational glimpse at the Leibniz and Frege hierarchies. Annals of Pure and Applied Logic, 169(1), pp. 1 - 20 . ISSN: 0168-0072
Moraschini, T. (2018). A logical and algebraic characterization of adjunctions between generalized quasi-varieties. Journal of Symbolic Logic, 83(3), pp. 899 - 919 . ISSN: 0022-4812
Bezhanishvili, G.; Moraschini, T.; Raftery, J. G. (2017). Epimorphisms in varieties of residuated structures. Journal of Algebra, 492, pp. 185 - 211 . ISSN: 0021-8693

Participation in Projects

RISE - Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics (SYSMICS) . 2016 - 2019 . Ref.689176 . MSCA-RISE . PI: Luca Spada
Enhancing human resources in theoretical computer science . 2017 - 2019 . Ref.PPLZ 100301751 . Ministry of Education Youth and Sports . PI: Tommaso Moraschini, Igor Sedlar, Amanda Vidal
Grup de Recerca en lògiques no clàssiques . 2014 - 2017 . Ref.2014SGR788 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . PI: Ramon Jansana Ferrer
La geometría de las lógicas no-clásicas . 2020 - 2023 . Ref.PID2019-110843GA-I00 . Ministerio de Ciencia, Innovación y Universidades . PI: Tommaso Moraschini
Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the pre (MOSAIC) . 2021 - 2025 . Ref.101007627 . Unió Europea . PI: Tommaso Moraschini

Conferences and Participations in Congresses

Moraschini, T. (2020). On equational completeness theorems. (Invited conference) . virtUMA (Annual Meeting of the Argentinian Mathematical Association) . ARGENTINA
Jansana, R.; Moraschini, T. (2019). On interpretations between propositional logics. (Invited conference) . BLAST (Boolean Algebras, Lattices, Universal Algebra, Set Theory, and Topology) . Boulder . UNITED STATES
Jansana, R.; Moraschini, T. (2018). Relational semantics, ordered algebras, and quantifiers for deductive systems. (Invited conference) . LATD (Logic, Algebra and Truth Degrees) . Bern . SWITZERLAND
Moraschini, T. (2017). A course on abstract algebraic logic. (Invited conference) . TACL (Topology, Algebra and Categories in Logic) . Olomouc . CZECH REPUBLIC
Jansana, R.; Moraschini, T. (2019). The poset of all logics. (Invited conference) . TACL (Topology, Algebra and Categories in Logic) . Nice . FRANCE
T. Moraschini (2022). Shalqvist correspondence for deductive systems. (Invited conference) . Algebraic Logic special session of the Western Sectional Meeting of the American Mathematical Society . Denver . UNITED STATES

More Information: Personal webpage (https://moraschini.github.io/index.html)