Monadic \(k\times j\)-rough Heyting algebras

From MaRDI portal
Publication:2155492