Spelling suggestions: "subject:"deheyting"" "subject:"heyting""
1 |
Subvariedades de álgebras de semi-HeytingCornejo, Juan Manuel 17 November 2011 (has links)
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.
|
Page generated in 0.0571 seconds