Tommaso Moraschini

Tommaso Moraschini

Investigador programa Beatriz Galindo

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

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

Informació de contacte
Departament de Filosofia
Department of Philosophy, University of Barcelona, Carrer de Montalegre 6

tommaso.moraschini(a)ub.edu

Publicacions rellevants

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ó en Projectes

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ències i Participacions a Congressos

Moraschini, T. (2020). On equational completeness theorems. (Conferència invitada) . virtUMA (Annual Meeting of the Argentinian Mathematical Association) . ARGENTINA
Jansana, R.; Moraschini, T. (2019). On interpretations between propositional logics. (Conferència invitada) . BLAST (Boolean Algebras, Lattices, Universal Algebra, Set Theory, and Topology) . Boulder . ESTATS UNITS D'AMÈRICA
Jansana, R.; Moraschini, T. (2018). Relational semantics, ordered algebras, and quantifiers for deductive systems. (Conferència invitada) . LATD (Logic, Algebra and Truth Degrees) . Bern . SUÏSSA
Moraschini, T. (2017). A course on abstract algebraic logic. (Conferència invitada) . TACL (Topology, Algebra and Categories in Logic) . Olomouc . REPÚBLICA TXECA
Jansana, R.; Moraschini, T. (2019). The poset of all logics. (Conferència invitada) . TACL (Topology, Algebra and Categories in Logic) . Nice . FRANÇA
T. Moraschini (2022). Shalqvist correspondence for deductive systems. (Conferència invitada) . Algebraic Logic special session of the Western Sectional Meeting of the American Mathematical Society . Denver . ESTATS UNITS D'AMÈRICA

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