Una caracterización de tautologías en el cálculo proposicional con tres valores. F. M. Siocón — 1965 Gaceta Matemática