Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective

From MaRDI portal
(Redirected from Publication:3400792)