activity
20172020
most citedThe poset of all logics II: Leibniz classes and hierarchy

10 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

math.LO2017

On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Ramon Jansana, Hernán Javier San Martín

Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper.…