activity
20042023
most citedDual characterizations for finite lattices via correspondence theory for monotone modal logic

21 citations · 37 across the 30 of their papers we have counts for

collaborators
Showing 2005Show all

2 papers · 1 filter

math.CO2005★ 2 cited

Congruences of Multinomial Lattices

Luigi Santocanale

We study the congruence lattices of the multinomial lattices L(v) introduced by Bennett and Birkhoff. Our main motivation is to investigate Parikh equivalence relations that model…

math.RA2005★ 1 cited

Completions of mu-algebras

Luigi Santocanale

A -algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms where is axiomatized…