Person:324256

Available identifiers

zbMath Open moraschini.tommasoMaRDI QIDQ324256

List of research outcomes

Publication	Date of Publication	Type
Bi-intermediate logics of trees and co-trees	2024-08-08	Paper
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
Epimorphisms between finitely generated algebras	N/A	Paper

Research outcomes over time

This page was built for person: Tommaso Moraschini