Algebraic logic for classical conjunction and disjunction

Studia Logica - Tập 52 - Trang 181-181 - 1993
J. M. Font, V. Verdú