Oración 1: sin embargo si no consideramos la regla de inferencia R el cálculo resultante BInt�R no es ni siquiera algebrizable
Oración 2: aplicando el mismo argumento de [7, Ejemplo 1], consideramos el álgebra de bi-Heyting 4� 1 c a b 0 La única congruencia definible en 4� que respeta �,� es la idéntica
Conector: en efecto,
Relación: entailment
Género: books