Oración 1: esta lógica fue introducida por la matemática polaca Cecylia Rauszer en 1.974 como una forma de hacer más simétrico el cálculo intuicionista: aśı como _ y ^ tienen un comportamiento dual en el intuicionismo, queremos que en el bi-intuicionismo existan conectivos �, � duales, respectivamente, a ñ,
Oración 2: s de esta simetŕıa, en la lógica bi-intuicionista podemos desarrollar un cálculo de falsedades que nos permite razonar sobre fórmulas falsas de una forma análoga a como razonamos con verdades en el cálculo usual (sección 4.4), y también podemos introducir operadores modales v́ıa adecuadas iteraciones de las dos negaciones (5.2.2)
Conector: como consecuencia
Relación: reasoning
Género: books