Tommaso Moraschini

Available identifiers

zbMath Open moraschini.tommasoMaRDI QIDQ324256

List of research outcomes

Publication	Date of Publication	Type
Positive modal logic beyond distributivity	2023-12-18	Paper
The algebraic significance of weak excluded middle laws	2023-09-12	Paper
Degrees of the finite model property: the antidichotomy theorem	2023-07-14	Paper
On locally finite varieties of Heyting algebras	2023-06-28	Paper
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality	2023-04-21	Paper
Elementary equivalence in positive logic via prime products	2023-03-05	Paper
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY	2023-02-27	Paper
Bi-intermediate logics of trees and co-trees	2022-11-27	Paper
ON EQUATIONAL COMPLETENESS THEOREMS	2022-11-18	Paper
Structural completeness in many-valued logics with rational constants	2022-10-10	Paper
Intuitionistic Sahlqvist theory for deductive systems	2022-08-01	Paper
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	2021-12-09	Paper
Profiniteness and representability of spectra of Heyting algebras	2021-10-08	Paper
The poset of all logics. III: Finitely presentable logics	2021-08-19	Paper
Structural completeness in many-valued logics with rational constants	2021-08-06	Paper
On equational completeness theorems	2021-07-11	Paper
Profiniteness and representability of spectra of Heyting algebras	2021-03-03	Paper
Epimorphisms in varieties of subidempotent residuated structures	2021-02-09	Paper
Logics of left variable inclusion and Płonka sums of matrices	2021-01-19	Paper
Singly generated quasivarieties and residuated structures	2020-09-09	Paper
Epimorphism surjectivity in varieties of Heyting algebras	2020-08-27	Paper
An Algebraic Approach to Valued Constraint Satisfaction	2020-05-26	Paper
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS	2020-04-27	Paper
Epimorphisms, definability and cardinalities	2020-03-27	Paper
The poset of all logics II: Leibniz classes and hierarchy	2020-02-18	Paper
The Poset of All Logics I: Interpretations and Lattice Structure	2019-11-21	Paper
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS	2019-10-30	Paper
On prevarieties of logic	2019-09-12	Paper
On the complexity of the Leibniz hierarchy	2019-08-01	Paper
Varieties of positive modal algebras and structural completeness	2019-08-01	Paper
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS	2019-06-07	Paper
On the complexity of the Leibniz hierarchy	2019-05-02	Paper
Varieties of De Morgan monoids: minimality and irreducible algebras	2019-03-06	Paper
On prevarieties of logic	2019-02-11	Paper
Logics of varieties, logics of semilattices and conjunction	2019-01-08	Paper
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS	2018-11-29	Paper
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES	2018-10-26	Paper
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic	2018-09-13	Paper
ON EVERYWHERE STRONGLY LOGIFIABLE ALGEBRAS	2017-12-11	Paper
A computational glimpse at the Leibniz and Frege hierarchies	2017-11-06	Paper
Epimorphisms in varieties of residuated structures	2017-10-20	Paper
The semantic isomorphism theorem in abstract algebraic logic	2016-10-10	Paper
An algebraic study of exactness in partial contexts	2015-07-16	Paper
\(M\)-sets and the representation problem	2015-06-18	Paper
A note on congruences of semilattices with sectionally finite height.	2014-11-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tommaso Moraschini