Tommaso Moraschini

29 papers B 1Journal 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Strictly
J. Symb. Log.
Tapani Hyttinen, Miguel Martins, Tommaso Moraschini, Davide Emilio Quadrellaro
2025 J jnl
Elementary Equivalence in positive Logic via Prime Products.
J. Symb. Log.
Tommaso Moraschini, Johann J. Wannenburg, Kentarô Yamamoto
2025 J jnl
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees.
Ann. Pure Appl. Log.
Miguel Martins, Tommaso Moraschini
2024 J jnl
Bi-intermediate logics of trees and co-trees.
Ann. Pure Appl. Log.
Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
2024 J jnl
Positive modal logic beyond distributivity.
Ann. Pure Appl. Log.
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2023 J jnl
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.
Stud Logica
Nick Bezhanishvili, Tommaso Moraschini
2023 J jnl
The Poset of All Logics II: Leibniz Classes and Hierarchy.
J. Symb. Log.
Ramon Jansana, Tommaso Moraschini
2022 J jnl
On Equational Completeness Theorems.
J. Symb. Log.
Tommaso Moraschini
2022 J jnl
Positive (Modal) Logic Beyond Distributivity.
CoRR
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
2022 J jnl
The algebraic significance of weak excluded middle laws.
Math. Log. Q.
Tomás Lávicka, Tommaso Moraschini, James G. Raftery
2021 J jnl
Logics of left variable inclusion and Płonka sums of matrices.
Arch. Math. Log.
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
2021 J jnl
The Poset of All Logics I: Interpretations and Lattice Structure.
J. Symb. Log.
Ramon Jansana, Tommaso Moraschini
2021 J jnl
The Poset of All Logics III: Finitely Presentable Logics.
Stud Logica
Ramon Jansana, Tommaso Moraschini
2020 J jnl
Epimorphism surjectivity in varieties of Heyting algebras.
Ann. Pure Appl. Log.
Tommaso Moraschini, Jamie J. Wannenburg
2020 J jnl
Epimorphisms, Definability and Cardinalities.
Stud Logica
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2020 J jnl
Singly generated quasivarieties and residuated structures.
Math. Log. Q.
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2020 J jnl
Varieties of de Morgan Monoids: Covers of atoms.
Rev. Symb. Log.
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2019 J jnl
An Abstract Approach to Consequence Relations.
Rev. Symb. Log.
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
2019 J jnl
On the complexity of the Leibniz hierarchy.
Ann. Pure Appl. Log.
Tommaso Moraschini
2019 J jnl
Varieties of positive Modal Algebras and Structural Completeness.
Rev. Symb. Log.
Tommaso Moraschini
2018 J jnl
A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties.
J. Symb. Log.
Tommaso Moraschini
2018 J jnl
A Study of Truth Predicates in Matrix Semantics.
Rev. Symb. Log.
Tommaso Moraschini
2018 J jnl
A computational glimpse at the Leibniz and Frege hierarchies.
Ann. Pure Appl. Log.
Tommaso Moraschini
2017 B conf
An Algebraic Approach to Valued Constraint Satisfaction.
CSL
Rostislav Horcík, Tommaso Moraschini, Amanda Vidal
2016 J jnl
The semantic isomorphism theorem in abstract algebraic logic.
Ann. Pure Appl. Log.
Tommaso Moraschini
2015 J jnl
M-Sets and the Representation Problem.
Stud Logica
Josep Maria Font, Tommaso Moraschini
2015 J jnl
On everywhere strongly logifiable algebras.
Reports Math. Log.
Tommaso Moraschini
2014 J jnl
An algebraic study of exactness in partial contexts.
Int. J. Approx. Reason.
Tommaso Moraschini
2014 J jnl
Logics of varieties, logics of semilattices and conjunction.
Log. J. IGPL
Josep Maria Font, Tommaso Moraschini