Tommaso Moraschini

Tommaso Moraschini

Investigador programa Beatriz Galindo

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

Grupo de Investigación: GRC-Grup de recerca en lògiques no clàssiques

Información de contacto
Departamento de Filosofía
Department of Philosophy, University of Barcelona, Carrer de Montalegre 6

tommaso.moraschini(a)ub.edu

Publicaciones relevantes

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

Participación en Proyectos

RISE - Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics (SYSMICS) . 2016 - 2019 . Ref.689176 . MSCA-RISE . IP: Luca Spada
Enhancing human resources in theoretical computer science . 2017 - 2019 . Ref.PPLZ 100301751 . Ministry of Education Youth and Sports . IP: 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) . IP: 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 . IP: 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 . IP: Tommaso Moraschini

Conferéncias y Participaciones en Congresos

Moraschini, T. (2020). On equational completeness theorems. (Conferencia invitada) . virtUMA (Annual Meeting of the Argentinian Mathematical Association) . ARGENTINA
Jansana, R.; Moraschini, T. (2019). On interpretations between propositional logics. (Conferencia invitada) . BLAST (Boolean Algebras, Lattices, Universal Algebra, Set Theory, and Topology) . Boulder . ESTADOS UNIDOS DE AMÉRICA
Jansana, R.; Moraschini, T. (2018). Relational semantics, ordered algebras, and quantifiers for deductive systems. (Conferencia invitada) . LATD (Logic, Algebra and Truth Degrees) . Bern . SUIZA
Moraschini, T. (2017). A course on abstract algebraic logic. (Conferencia invitada) . TACL (Topology, Algebra and Categories in Logic) . Olomouc . REPÚBLICA CHECA
Jansana, R.; Moraschini, T. (2019). The poset of all logics. (Conferencia invitada) . TACL (Topology, Algebra and Categories in Logic) . Nice . FRANCIA
T. Moraschini (2022). Shalqvist correspondence for deductive systems. (Conferencia invitada) . Algebraic Logic special session of the Western Sectional Meeting of the American Mathematical Society . Denver . ESTADOS UNIDOS DE AMÉRICA

Más Información: Personal webpage (https://moraschini.github.io/index.html)