Abstract
Se analizan las condiciones necesarias para que un sistema de lógica pueda operar como metalógica de otro sistema de lógica (o de sí mismo), según las exigencias de veritativo-funcionalidad y las condiciones impuestas por Rescher para•que un sistema sea autodescriptivo; en relación con la pretendida supremacía de la lógica bivalente. Se muestra que los sistemas de Lukasiewicz no son autodescriptivos, mientras se sabe que la bivalente sí lo es.