References
R. Balbes and Ph.Dwinger,Distributive Lattices. University of Missouri Press, 1974.
K. A. Baker,Equational axioms for classes of Heyting algebras. Algebra Universalis6 (1976), p. 105–120.
—,Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Math.24 (1977), p. 207–243.
—,Primitive satisfaction and equational problems for lattices and other algebras. T.A.M.S.190 (1974), p. 125–150.
J. Berman,Distributive lattices with an additional operation. Aequationes Math.16 (1977), p. 165–171.
C. Bernardi,On the equational class of diagnoziable algebras. Studia Logica34 (1975), p. 321–331.
W. J. Blok,Varieties of interior algebras. Dissertation, University of Amsterdam, 1976.
—,The lattice of modal logics, an algebraic investigation, J.S.L.45 (1980), p. 221–236.
W. J. Blok and Ph.Dwinger,Equational classes of closure algebras. I. Ind. Math.37 (1975), p. 189–198.
W. J. Blok andD. Pigozzi,The deduction theorem in algebraic logic. Manuscript.
S. Bulman-Fleming andH. Werner,Equational compactness in quasi-primal varieties, Algebra Universalis7 (1977), p. 33–46.
S. Burris andH. Werner,Sheaf constructions and their elementary properties. T.A.M.S.248 (1979), p. 269–309.
A. Diego,Sur les algèbres de Hilbert. Collection de Logique Mathematique, Series A, No. 21, Paris 1966.
R. Franci,Filtra and ideal classes of universal algebras. Quaderni dell'Istituto di Matematica dell'Universita di Siena (1976).
E. Fried, G. Grätzer, andR. Qackenbush,Uniform congruence schemes. Algebra Universalis10 (1980), p. 176–189.
E. Fried andE. W. Kiss,Connection between the congruence lattices and polynomial properties. Preprint.
E. Fried andA. F. Pixley,The dual discriminator function in universal algebra. Acta Univ. Szeged41 (1979), p. 83–100.
G. Grätzer,Universal Algebra. Springer-Verlag, 1979.
T. Hecht andT. Katrinák,Principal congruences of p-algebras and double p-algebras, Proc. Amer. Math. Soc.58 (1976), p. 25–31.
L. Henkin, J. D. Monk andA. Tarski,Cylindric algebras, Part I. North-Holland Publishing Company, Amsterdam 1971.
V. A. Jankov,The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures. Sov. Math. Dokl.4 (1963), p.-1203–1204.
B. Jónsson,Algebras whose congruence lattices are distributive. Math. Scand.21 (1967), p. 110–121.
B. Jónsson andA. Tarski,Boolean algebras with operators. Part I. Amer. J. Math.73 (1951) p. 891–939.
—,Boolean algebras with operators. Part II. Amer. J. Math.74 (1952), p. 127–162.
T. Katrinák,The structure of distributive double p-algebras. Regularity and congruences. Algebra Universalis3 (1973), p. 238–246.
P. Köhler,Brouwerian semilattices. Math. Institut, Justus Liebig Universität, Giessen.
P. Köhler andD. Pigozzi,Varieties with equationally definable principal congruences. Algebra Universalis,11 (1980), p. 213–219.
H. Lakser,Principal congruences of pseudo-complemented distributive lattices. Proc. Amer. Math. Soc.37 (1973), p. 32–36.
—,The structure of pseudo-complemented distributive lattices, I. T.A.M.S.,156 (1971), p. 335–342.
K. B. Lee,Equational classes of distributive pseudo-complemented lattices Canad. J. Math.22 (1970), p. 881–891.
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.
S. MacLane,Categories for the Working Mathematician. Springer-Verlag, 1971.
R. Magari,Varietà a quozienti filtrali. Ann. Univ. Ferrara, Sez. VII14 (1969), 5–20.
—,Representation and duality theory for diagonizable algebras. Studia Logica34 (1975), p. 305–313.
R. McKenzie,Equational bases and non-modular lattice varieties. T.A.M.S.174 (1972), p. 1–43.
W. C. Nemitz,Implicative semilattices, T.A.M.S.,117 (1965), p. 128–142.
—Semi-Boolean lattices, Notre Dame J. of Formal Logic10 (1969), p. 128–142.
H. Rasiowa,An algebraic approach to non-classical logics. North-Holland Publ. Co., Amsterdam, 1974.
W. Rautenberg,Der Verband der normalen und verzweigten Modallogiken. Math. Z.156 (1977), p. 123–140.
W. Rautenberg,Klassische und Nichtklassische Aussagenlogik. Vieweg, 1979.
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.
A. Tarski,Contributions to the theory of model, III. Ind. Math.17 (1955), p. 56–64.
H. Ursini,Intuitionistic diagonizable algebras. Algebra Universalis,9 (1979), p. 229–237.
H. Werner,Discriminator algebras. Studien zur Algebra und ihre Anwendungen 6, Akademie Verlag, Berlin (1978).
Author information
Authors and Affiliations
Rights 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
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02483723