On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication

Ramon Jansana, Hernán Javier San Martín. On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication. Studia Logica, 107(2):351-374, 2019. [doi]

Abstract

Abstract is missing.