Á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

Guardado en:
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:
Ciencias Exactas
Matemática
Mathematical Logic
álgebra
cálculo proposicional intuicionista
lógica
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

Ejemplares similares

Ejemplares similares