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. / Semi-Heyting algebras were introduced as a new equational class by H. P. Sankappanavar en [33]. These algebras represent a generalization of Heyting algebras. In fact, their definition can be obtain from a certain axiomatic of Heyting algebras replacing one of the axioms by a weaker one. Nevertheless, as we will see, the behavior of semi-Heyting algebras is much more complicated than that of Heyting algebras.
| Identifer | oai:union.ndltd.org:uns.edu.ar/oai:repositorio.bc.uns.edu.ar:123456789/2219 |
| Date | 17 November 2011 |
| Creators | Cornejo, Juan Manuel |
| Contributors | Abad, Manuel |
| Publisher | Universidad Nacional del Sur |
| Source Sets | Universidad Nacional del Sur |
| Language | Spanish |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation, Text |
| Rights | 0 |
Page generated in 0.0027 seconds