TY - JOUR AU - A. Rose TI - Systems of Logic whose truth-values form lattices. JO - Mathematische Annalen PY - 1951 SP - 152 EP - 165 VL - 123 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAN_1951__123_160239/ ID - MAN_1951__123_160239 ER -