We stand with Ukraine  

Tommaso Moraschini

Orcid: 0000-0001-9784-3116

According to our database1, Tommaso Moraschini authored at least 26 papers between 2014 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
2
2
3
4
3
3
1
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees.
[BibTeX]
[DOI]
Miguel Martins
,
Tommaso Moraschini
Ann. Pure Appl. Log., 2025

2024
Bi-intermediate logics of trees and co-trees.
[BibTeX]
[DOI]
Nick Bezhanishvili
,
Miguel Martins
,
Tommaso Moraschini
Ann. Pure Appl. Log., 2024

Positive modal logic beyond distributivity.
[BibTeX]
[DOI]
Nick Bezhanishvili
,
Anna Dmitrieva
,
Jim de Groot
,
Tommaso Moraschini
Ann. Pure Appl. Log., 2024

2023
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.
[BibTeX]
[DOI]
Nick Bezhanishvili
,
Tommaso Moraschini
Stud Logica, April, 2023

The Poset of All Logics II: Leibniz Classes and Hierarchy.
[BibTeX]
[DOI]
Ramon Jansana
,
Tommaso Moraschini
J. Symb. Log., March, 2023

2022
On Equational Completeness Theorems.
[BibTeX]
[DOI]
Tommaso Moraschini
J. Symb. Log., December, 2022

The algebraic significance of weak excluded middle laws.
[BibTeX]
[DOI]
Tomás Lávicka
,
Tommaso Moraschini
,
James G. Raftery
Math. Log. Q., 2022

2021
The Poset of All Logics III: Finitely Presentable Logics.
[BibTeX]
[DOI]
Ramon Jansana
,
Tommaso Moraschini
Stud Logica, 2021

The Poset of All Logics I: Interpretations and Lattice Structure.
[BibTeX]
[DOI]
Ramon Jansana
,
Tommaso Moraschini
J. Symb. Log., 2021

Logics of left variable inclusion and Płonka sums of matrices.
[BibTeX]
[DOI]
Stefano Bonzio
,
Tommaso Moraschini
,
Michele Pra Baldi
Arch. Math. Log., 2021

2020
Epimorphisms, Definability and Cardinalities.
[BibTeX]
[DOI]
Tommaso Moraschini
,
James G. Raftery
,
Jamie J. Wannenburg
Stud Logica, 2020

Varieties of de Morgan Monoids: Covers of atoms.
[BibTeX]
[DOI]
Tommaso Moraschini
,
James G. Raftery
,
Jamie J. Wannenburg
Rev. Symb. Log., 2020

Singly generated quasivarieties and residuated structures.
[BibTeX]
[DOI]
Tommaso Moraschini
,
James G. Raftery
,
Jamie J. Wannenburg
Math. Log. Q., 2020

Epimorphism surjectivity in varieties of Heyting algebras.
[BibTeX]
[DOI]
Tommaso Moraschini
,
Jamie J. Wannenburg
Ann. Pure Appl. Log., 2020

2019
Varieties of positive Modal Algebras and Structural Completeness.
[BibTeX]
[DOI]
Tommaso Moraschini
Rev. Symb. Log., 2019

An Abstract Approach to Consequence Relations.
[BibTeX]
[DOI]
Petr Cintula
,
José Gil-Férez
,
Tommaso Moraschini
,
Francesco Paoli
Rev. Symb. Log., 2019

On the complexity of the Leibniz hierarchy.
[BibTeX]
[DOI]
Tommaso Moraschini
Ann. Pure Appl. Log., 2019

2018
A Study of Truth Predicates in Matrix Semantics.
[BibTeX]
[DOI]
Tommaso Moraschini
Rev. Symb. Log., 2018

A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties.
[BibTeX]
[DOI]
Tommaso Moraschini
J. Symb. Log., 2018

A computational glimpse at the Leibniz and Frege hierarchies.
[BibTeX]
[DOI]
Tommaso Moraschini
Ann. Pure Appl. Log., 2018

2017
An Algebraic Approach to Valued Constraint Satisfaction.
[BibTeX]
[DOI]
Rostislav Horcík
,
Tommaso Moraschini
,
Amanda Vidal
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016
The semantic isomorphism theorem in abstract algebraic logic.
[BibTeX]
[DOI]
Tommaso Moraschini
Ann. Pure Appl. Log., 2016

2015
M-Sets and the Representation Problem.
[BibTeX]
[DOI]
Josep Maria Font
,
Tommaso Moraschini
Stud Logica, 2015

On everywhere strongly logifiable algebras.
[BibTeX]
[DOI]
Tommaso Moraschini
Reports Math. Log., 2015

2014
An algebraic study of exactness in partial contexts.
[BibTeX]
[DOI]
Tommaso Moraschini
Int. J. Approx. Reason., 2014

Logics of varieties, logics of semilattices and conjunction.
[BibTeX]
[DOI]
Josep Maria Font
,
Tommaso Moraschini
Log. J. IGPL, 2014


  Loading...