Álgebras de Heyting con sucesor
Tesis
Acceso abierto
Tesis
SEDICI UNLP
En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo un...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access