A categorical equivalence for tense pseudocomplemented distributive lattice

From MaRDI portal
Publication:6500554