Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on September 25, 2007
Logic Journal of IGPL 2007 15(5-6):527-533; doi:10.1093/jigpal/jzm038

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Figallo, A. Search for Related Content Social Bookmarking          What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Pure Hilbert Algebras with Infimum

Aldo Figallo, Jr

Instituto de Ciencias Básicas, Universidad Nacional de San Juan & Departamento de Matemática, Universidad Nacional del Sur. E-mail: alfiga{at}uns.edu.ar

In [6], iH-algebras were introduced in order to indicate an equational version of the class of Hilbert algebras where each pair of elements has infimum. These authors also proved that this variety has the class of Curry's implicative semilattices ([9]) as a proper subvariety. On the other hand, in [4] a special class of Hilbert algebras associated with ordered sets, which they called order algebras, were investigated. These algebras were also studied in [1] under the name of pure Hilbert algebras.

Bearing in mind the above results, in this paper we introduce the notion of pure Hilbert algebras with infimum (or ipH-algebras, for short). Furthermore, we characterize the lattice of ipH-congruences and we determine the subdirectly irreducible ipH-algebras. Besides, we prove that subdirectly irreducible ipH-algebras are also subdirectly irreducible iH-algebras.

Received for publication 12 October 2006.

References

1  Berman J, Blok W. Algebras defined from ordered sets and the varieties they generate. Manuscript.

2  Chajda I. Rees ideal algebras. Math. Bohem. (1997) 122:125–130.

3  Chajda I, Halas R. Congruences and ideals in Hilbert algebras. Kyungpook Math. J. (1999) 39:429–432.

4  Chajda I, Halas R. Order algebras. Demos. Math. (2002) 35(1):1–10.

5  Diego A. Sur les algébres de Hilbert. In: Collection de Logique Mathématique, Serie A, 21 (1966) Paris: Gauthier-Villars.

6  Figallo AV, Ramón G, Saad S. A note on the Hilbert algebras with infimum. Mat. Contemp. (2003) 24:23–37.

7  Figallo AV, Ramón G, Saad S. iH-Popositional Calculus. Bull. Sect. Logic Univ. Lodz (2006) 4(35):157–163.

8  Guzmán F, Lynch C. Varieties of positive implicative BCK-algebras subdirectly irreducibles and free algebras. Math. Japonica (1992) 1(37):27–39.

9  Figallo A Jr, Ziliani A. Remarks on Hertz algebras and Implicative Semilattice. Bull. Sect. Logic Univ. Lodz (2005) 1(34):37–42.

10  Jun YB, Kim JY, Kim HS. Hilbert algebras inherited from the posets. Indian J. pure appl. Math. (1997) 4(28):471–475.

11  Monteiro L. Algébres de Hilbert n-valentes. Portugaliae Math. (1977) 36:159–174.

12  Nemitz WC. Implicative semi–lattices. Trans. Amer. Math. Soc. (1965) 117:128–142.[CrossRef]

13  Rees D. On semigroups. Proc. Cambridge Phil. Soc. (1940) 36:387–400.

14  Rodríguez Salas A. Subvarieties of Hilbert algebras. In: Algebra and Geometry, álxebra 54, Univ. Santiago de Compostela (1990) 177–189.

15  Tichy RF. The Rees congruences in universal algebras. Publ. Inst. Marth. (Boegrad) (1981) 29:229–239.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Figallo, A. Search for Related Content Social Bookmarking          What's this?