• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Subvariedades de álgebras de semi-Heyting

Cornejo, 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