Á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...
Guardado en:
| 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: |
Ejemplares similares
-
Álgebra del cálculo proposicional
por: Sagastume, Marta Susana, et al.
Publicado: (2019) -
On Some Compatible Operations on Heyting Algebras
por: Ertola Biraben, Rodolfo Cristian, et al.
Publicado: (2011) -
Sobre una caracterización de las álgebras de semi-Heyting
por: Castiglioni, José Luis, et al.
Publicado: (2019) - Algebra and logic
-
On Some Compatible Operations on Heyting Algebras
por: Ertola Biraben, Rodolfo Cristian