Skip to main content
SpringerLink
Log in

Varieties of Pseudo-Interior Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • [BL]-Blok, W. J., 'The lattice of modal logics: an algebraic investigation', JSL 45/2 (1980), 221-236.

    Google Scholar 

  • [BPI]-Blok, W. J., and D. Pigozzi, 'On the structure of varieties with equationally definable principal congruences I', Algebra Universalis 15 (1982), 195-227.

    Google Scholar 

  • [BKPII]-Blok, W. J., P. KÖhler, and D. Picozzi, 'On the structure of varieties with equationally definable principal congruences II', Algebra Universalis 18 (1984), 334-379.

    Google Scholar 

  • [BPIII]-Blok, W. J., and D. Pigozzi, 'On the structure of varieties with equationally definable principal congruences III', Algebra Universalis 32 (1994), 545-609.

    Google Scholar 

  • [BPIV]-Blok, W. J., and D. Pigozzi, 'On the structure of varieties with equationally definable principal congruences IV', Algebra Universalis 31 (1994), 1-35.

    Google Scholar 

  • [BS]-Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.

    Google Scholar 

  • [CD]-Crawley, P., and R. Dilworth, Algebraic Theory of Lattices, Prentice-Hall, Inc., Engelewood Cliffs, New Jersey, 1973.

    Google Scholar 

  • [BK]-Klunder, B., 'Representable pseudo-interior algebras', Algebra Universalis 40 (1998), 177-188.

    Google Scholar 

  • [KOH]-KÖhler, P., 'Brouwerian semilattices', Trans. Amer. Math. Soc. 268/1 (1981), 103-126.

    Google Scholar 

  • [KP]-KÖhler, P., and D. Pigozzi, 'Varieties with equationally definable principal congruences', Algebra Universalis 11 (1980), 213-219.

    Google Scholar 

  • [NWI]-Nemitz, W., and T. Whaley, 'Varieties of implicative semilattices I', Pacific J. Math. 37/3 (1971), 759-769.

    Google Scholar 

  • [NWII]-Nemitz, W., and T. Whaley, 'Varetics of implicative semilattices II', Pacific J. Math. 45/1 (1973), 303-311.

    Google Scholar 

  • [RS]-Rival, I., and B. Sands, 'A note on the congruence lattice of finitely generated algebra', Proc. Amer. Math. Soc. 72 (1978), 451-455.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Nicolas Copernicus University, Toruń, Poland

    Barbara Klunder

Authors
  1. Barbara Klunder
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Klunder, B. Varieties of Pseudo-Interior Algebras. Studia Logica 65, 113–136 (2000). https://doi.org/10.1023/A:1005299210813

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005299210813

Search

Navigation