The postulates for ``strict implication.

From MaRDI portal
Publication:2619873