Tommaso Moraschini

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Lattice Structure

Prime Implicates

Inference Rules

Linearly Ordered

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
Bi-intermediate logics of trees and co-trees. Ann. Pure Appl. Log. 175 (10) (2024)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive modal logic beyond distributivity. Ann. Pure Appl. Log. 175 (2) (2024)
Ramon Jansana, Tommaso Moraschini
The Poset of All Logics II: Leibniz Classes and Hierarchy. J. Symb. Log. 88 (1) (2023)
Nick Bezhanishvili, Tommaso Moraschini
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality. Stud Logica 111 (2) (2023)
Tommaso Moraschini
On Equational Completeness Theorems. J. Symb. Log. 87 (4) (2022)
Tomás Lávicka, Tommaso Moraschini, James G. Raftery
The algebraic significance of weak excluded middle laws. Math. Log. Q. 68 (1) (2022)
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini
Positive (Modal) Logic Beyond Distributivity. CoRR (2022)
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
Logics of left variable inclusion and Płonka sums of matrices. Arch. Math. Log. 60 (1-2) (2021)
Ramon Jansana, Tommaso Moraschini
The Poset of All Logics I: Interpretations and Lattice Structure. J. Symb. Log. 86 (3) (2021)
Ramon Jansana, Tommaso Moraschini
The Poset of All Logics III: Finitely Presentable Logics. Stud Logica 109 (3) (2021)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Varieties of de Morgan Monoids: Covers of atoms. Rev. Symb. Log. 13 (2) (2020)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Epimorphisms, Definability and Cardinalities. Stud Logica 108 (2) (2020)
Tommaso Moraschini, Jamie J. Wannenburg
Epimorphism surjectivity in varieties of Heyting algebras. Ann. Pure Appl. Log. 171 (9) (2020)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Singly generated quasivarieties and residuated structures. Math. Log. Q. 66 (2) (2020)
Tommaso Moraschini
On the complexity of the Leibniz hierarchy. Ann. Pure Appl. Log. 170 (7) (2019)
Tommaso Moraschini
Varieties of positive Modal Algebras and Structural Completeness. Rev. Symb. Log. 12 (3) (2019)
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
An Abstract Approach to Consequence Relations. Rev. Symb. Log. 12 (2) (2019)
Tommaso Moraschini
A Study of Truth Predicates in Matrix Semantics. Rev. Symb. Log. 11 (4) (2018)
Tommaso Moraschini
A computational glimpse at the Leibniz and Frege hierarchies. Ann. Pure Appl. Log. 169 (1) (2018)
Tommaso Moraschini
A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties. J. Symb. Log. 83 (3) (2018)
Rostislav Horcík, Tommaso Moraschini, Amanda Vidal
An Algebraic Approach to Valued Constraint Satisfaction. CSL (2017)
Tommaso Moraschini
The semantic isomorphism theorem in abstract algebraic logic. Ann. Pure Appl. Log. 167 (12) (2016)
Josep Maria Font, Tommaso Moraschini
M-Sets and the Representation Problem. Stud Logica 103 (1) (2015)
Tommaso Moraschini
On everywhere strongly logifiable algebras. Reports Math. Log. 50 (2015)
Tommaso Moraschini
An algebraic study of exactness in partial contexts. Int. J. Approx. Reason. 55 (1) (2014)
Josep Maria Font, Tommaso Moraschini
Logics of varieties, logics of semilattices and conjunction. Log. J. IGPL 22 (6) (2014)