Skip to main content
SpringerLink
Log in

On the structure of varieties with equationally definable principal congruences I

  • Published:
algebra universalis Aims and scope Submit manuscript

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

References

  1. R. Balbes and Ph.Dwinger,Distributive Lattices. University of Missouri Press, 1974.

  2. K. A. Baker,Equational axioms for classes of Heyting algebras. Algebra Universalis6 (1976), p. 105–120.

    Article  MathSciNet  MATH  Google Scholar 

  3. —,Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Math.24 (1977), p. 207–243.

    MathSciNet  MATH  Google Scholar 

  4. —,Primitive satisfaction and equational problems for lattices and other algebras. T.A.M.S.190 (1974), p. 125–150.

    Article  MATH  Google Scholar 

  5. J. Berman,Distributive lattices with an additional operation. Aequationes Math.16 (1977), p. 165–171.

    Article  MathSciNet  MATH  Google Scholar 

  6. C. Bernardi,On the equational class of diagnoziable algebras. Studia Logica34 (1975), p. 321–331.

    Article  MathSciNet  Google Scholar 

  7. W. J. Blok,Varieties of interior algebras. Dissertation, University of Amsterdam, 1976.

  8. —,The lattice of modal logics, an algebraic investigation, J.S.L.45 (1980), p. 221–236.

    Article  MathSciNet  MATH  Google Scholar 

  9. W. J. Blok and Ph.Dwinger,Equational classes of closure algebras. I. Ind. Math.37 (1975), p. 189–198.

    MathSciNet  Google Scholar 

  10. W. J. Blok andD. Pigozzi,The deduction theorem in algebraic logic. Manuscript.

  11. S. Bulman-Fleming andH. Werner,Equational compactness in quasi-primal varieties, Algebra Universalis7 (1977), p. 33–46.

    Article  MathSciNet  MATH  Google Scholar 

  12. S. Burris andH. Werner,Sheaf constructions and their elementary properties. T.A.M.S.248 (1979), p. 269–309.

    Article  MathSciNet  MATH  Google Scholar 

  13. A. Diego,Sur les algèbres de Hilbert. Collection de Logique Mathematique, Series A, No. 21, Paris 1966.

  14. R. Franci,Filtra and ideal classes of universal algebras. Quaderni dell'Istituto di Matematica dell'Universita di Siena (1976).

  15. E. Fried, G. Grätzer, andR. Qackenbush,Uniform congruence schemes. Algebra Universalis10 (1980), p. 176–189.

    Article  MathSciNet  MATH  Google Scholar 

  16. E. Fried andE. W. Kiss,Connection between the congruence lattices and polynomial properties. Preprint.

  17. E. Fried andA. F. Pixley,The dual discriminator function in universal algebra. Acta Univ. Szeged41 (1979), p. 83–100.

    MathSciNet  MATH  Google Scholar 

  18. G. Grätzer,Universal Algebra. Springer-Verlag, 1979.

  19. T. Hecht andT. Katrinák,Principal congruences of p-algebras and double p-algebras, Proc. Amer. Math. Soc.58 (1976), p. 25–31.

    Article  MathSciNet  MATH  Google Scholar 

  20. L. Henkin, J. D. Monk andA. Tarski,Cylindric algebras, Part I. North-Holland Publishing Company, Amsterdam 1971.

    MATH  Google Scholar 

  21. V. A. Jankov,The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures. Sov. Math. Dokl.4 (1963), p.-1203–1204.

    Google Scholar 

  22. B. Jónsson,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), p. 110–121.

    MathSciNet  MATH  Google Scholar 

  23. B. Jónsson andA. Tarski,Boolean algebras with operators. Part I. Amer. J. Math.73 (1951) p. 891–939.

    Article  MathSciNet  MATH  Google Scholar 

  24. —,Boolean algebras with operators. Part II. Amer. J. Math.74 (1952), p. 127–162.

    Article  MathSciNet  MATH  Google Scholar 

  25. T. Katrinák,The structure of distributive double p-algebras. Regularity and congruences. Algebra Universalis3 (1973), p. 238–246.

    Article  MathSciNet  MATH  Google Scholar 

  26. P. Köhler,Brouwerian semilattices. Math. Institut, Justus Liebig Universität, Giessen.

  27. P. Köhler andD. Pigozzi,Varieties with equationally definable principal congruences. Algebra Universalis,11 (1980), p. 213–219.

    Article  MathSciNet  MATH  Google Scholar 

  28. H. Lakser,Principal congruences of pseudo-complemented distributive lattices. Proc. Amer. Math. Soc.37 (1973), p. 32–36.

    Article  MathSciNet  MATH  Google Scholar 

  29. —,The structure of pseudo-complemented distributive lattices, I. T.A.M.S.,156 (1971), p. 335–342.

    Article  MathSciNet  MATH  Google Scholar 

  30. K. B. Lee,Equational classes of distributive pseudo-complemented lattices Canad. J. Math.22 (1970), p. 881–891.

    MathSciNet  MATH  Google Scholar 

  31. J. Łos,Quelques remarques, theorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems. North-Holland Publ. Co. Amsterdam, 1955, p. 98–113.

    Google Scholar 

  32. S. MacLane,Categories for the Working Mathematician. Springer-Verlag, 1971.

  33. R. Magari,Varietà a quozienti filtrali. Ann. Univ. Ferrara, Sez. VII14 (1969), 5–20.

    MathSciNet  MATH  Google Scholar 

  34. —,Representation and duality theory for diagonizable algebras. Studia Logica34 (1975), p. 305–313.

    Article  MathSciNet  Google Scholar 

  35. R. McKenzie,Equational bases and non-modular lattice varieties. T.A.M.S.174 (1972), p. 1–43.

    Article  MathSciNet  Google Scholar 

  36. W. C. Nemitz,Implicative semilattices, T.A.M.S.,117 (1965), p. 128–142.

    Article  MathSciNet  MATH  Google Scholar 

  37. —Semi-Boolean lattices, Notre Dame J. of Formal Logic10 (1969), p. 128–142.

    Article  MathSciNet  Google Scholar 

  38. H. Rasiowa,An algebraic approach to non-classical logics. North-Holland Publ. Co., Amsterdam, 1974.

    MATH  Google Scholar 

  39. W. Rautenberg,Der Verband der normalen und verzweigten Modallogiken. Math. Z.156 (1977), p. 123–140.

    Article  MathSciNet  MATH  Google Scholar 

  40. W. Rautenberg,Klassische und Nichtklassische Aussagenlogik. Vieweg, 1979.

  41. H. P. Sankappanavar,A characterization of principal congruences of De Morgan algebras and its applications. Math Logic in Latin America, Proc. IV Latin Amer. Symp. Math. Logic, Santiago 1978, p. 341–349. North-Holland Pub. Co., Amsterdam, 1980.

    Google Scholar 

  42. A. Tarski,Contributions to the theory of model, III. Ind. Math.17 (1955), p. 56–64.

    MathSciNet  Google Scholar 

  43. H. Ursini,Intuitionistic diagonizable algebras. Algebra Universalis,9 (1979), p. 229–237.

    Article  MathSciNet  MATH  Google Scholar 

  44. H. Werner,Discriminator algebras. Studien zur Algebra und ihre Anwendungen 6, Akademie Verlag, Berlin (1978).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Simon Fraser University, Burnaby, British Columbia, Canada

    W. J. Blok & D. Pigozzi

  2. Iowa State University, Ames, Iowa, U.S.A.

    W. J. Blok & D. Pigozzi

Authors
  1. W. J. Blok
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Pigozzi
    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

Blok, W.J., Pigozzi, D. On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195–227 (1982). https://doi.org/10.1007/BF02483723

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02483723

Keywords

Search

Navigation