Title: Modal implicative 3-valued semilattices
First published: 1992
Subjects: Semilattices
LC classification: QA171.5 .C36 1992