The Synthesis Company of San Francisco Mountain Logo
A Bijection between Lattice-Valued Filters and Lattice-Valued Congruences in Residuated Lattices | doi.page