Composition of an intuitionistic negation and negative modalities as a necessity operator

From MaRDI portal
Publication:2434603