Subvariedades de álgebras de semi-Heyting
Las álgebras de semi-Heyting fueron introducidas como una nueva clase ecuacional por H. P. Sankappanavar en [33]. Éstas álgebras representan un generalizacióon de las álgebras de Heyting. Si bien la manera de definir la axiomáatica para una clase u otra es casi la misma, de hecho difieren en un só-...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | tesis doctoral |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/2219 |
| Aporte de: |
| Sumario: | Las álgebras de semi-Heyting fueron introducidas como una nueva clase ecuacional por H. P. Sankappanavar en [33]. Éstas álgebras representan un generalizacióon de las álgebras
de Heyting. Si bien la manera de definir la axiomáatica para una clase u otra es casi la misma, de hecho difieren en un só-lo axioma, el comportamiento entre las variedades es distinto y hace rico el trabajo de estudiar cuáles son las propiedades que se extienden a las álgebras de semi-Heyting y cuáles no. |
|---|