Álgebras de Heyting con sucesor

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 unario nuevo (al que denominamos sucesor), agregando este símbolo en las reglas de formac...

Descripción completa

Detalles Bibliográficos
Autor principal: San Martín, Hernán Javier
Otros Autores: Sagastume, Marta Susana
Formato: Tesis Tesis de doctorado
Lenguaje:Español
Publicado: 2011
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2707
https://doi.org/10.35537/10915/2707
Aporte de:SEDICI (UNLP) de Universidad Nacional de La Plata Ver origen

Ejemplares similares