Tommaso Moraschini

Orcid: 0000-0001-9784-3116

According to our database1, Tommaso Moraschini authored at least 25 papers between 2014 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Bi-intermediate logics of trees and co-trees.
Ann. Pure Appl. Log., 2024

Positive modal logic beyond distributivity.
Ann. Pure Appl. Log., 2024

2023
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.
Stud Logica, April, 2023

The Poset of All Logics II: Leibniz Classes and Hierarchy.
J. Symb. Log., March, 2023

2022
On Equational Completeness Theorems.
J. Symb. Log., December, 2022

The algebraic significance of weak excluded middle laws.
Math. Log. Q., 2022

2021
The Poset of All Logics III: Finitely Presentable Logics.
Stud Logica, 2021

The Poset of All Logics I: Interpretations and Lattice Structure.
J. Symb. Log., 2021

Logics of left variable inclusion and Płonka sums of matrices.
Arch. Math. Log., 2021

2020
Epimorphisms, Definability and Cardinalities.
Stud Logica, 2020

Varieties of de Morgan Monoids: Covers of atoms.
Rev. Symb. Log., 2020

Singly generated quasivarieties and residuated structures.
Math. Log. Q., 2020

Epimorphism surjectivity in varieties of Heyting algebras.
Ann. Pure Appl. Log., 2020

2019
Varieties of positive Modal Algebras and Structural Completeness.
Rev. Symb. Log., 2019

An Abstract Approach to Consequence Relations.
Rev. Symb. Log., 2019

On the complexity of the Leibniz hierarchy.
Ann. Pure Appl. Log., 2019

2018
A Study of Truth Predicates in Matrix Semantics.
Rev. Symb. Log., 2018

A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties.
J. Symb. Log., 2018

A computational glimpse at the Leibniz and Frege hierarchies.
Ann. Pure Appl. Log., 2018

2017
An Algebraic Approach to Valued Constraint Satisfaction.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016
The semantic isomorphism theorem in abstract algebraic logic.
Ann. Pure Appl. Log., 2016

2015
M-Sets and the Representation Problem.
Stud Logica, 2015

On everywhere strongly logifiable algebras.
Reports Math. Log., 2015

2014
An algebraic study of exactness in partial contexts.
Int. J. Approx. Reason., 2014

Logics of varieties, logics of semilattices and conjunction.
Log. J. IGPL, 2014


  Loading...