Oración 1: luego BInt es algebraizable por las álgebras de bi-Heyting
Oración 2: t�,�u no son nuevos conectivos intuicionistas en el sentido de [6] en BInt ni BInt �R, pues no son compatibles: en efecto cualquier congruencia en 4� diferente de la identidad no los respeta
Conector: sin embargo
Relación: contrasting
Género: books