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.0112 seconds