Oración 1: cuantificador normal: Un cuantificador lógico ? en la semántica de una lógica de primer orden L (diferente a la clásica) se llama cuantificador normal si, en caso que se usen interpretaciones I clásicas, en- tonces la valoración de ? bajo la interpretación I coincide con la valoración de su contraparte ?clasica de la lógica clásica de primer orden bajo la misma interpretación I
Oración 2: finalmente, note que la completitud mostrada es con respecto a las BL-álge- bras; y en donde se conoce que las valoraciones sobre T-normas continuas son una subclase de éstas
Relación: neutral
Género: theses