\(n\)-fold Heyting, Boolean and pseudo-MV filters in residuated lattices

From MaRDI portal
Publication:1617793