Oración 1: de 5.2.3 se puede ver que las álgebras modales constituyen una subcuasivariedad de las álgebras de Heyting
Oración 2: estas propiedades pueden ser reescritas respectivamente en la forma pañ b � 1q ñ plañ lb � 1q, pañ b � 1q ñ p♦añ ♦b � 1q; plañ aq � 1, pañ ♦aq � 1; la_ la � 1, ♦a_ ♦a � 1; pa_ a � 1q ñ pañ la � 1q, pa_ a � 1q ñ p♦añ a � 1q
Conector: en efecto
Relación: entailment
Género: books