Open menu
M. C. Canals Frau
Modal implicative 3-valued semilattices