Skip to main content
Log in

The lattice of distributive closure operators over an algebra

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In our previous paper “Algebraic Logic for Classical Conjunction and Disjunction” we studied some relations between the fragmentL of classical logic having just conjunction and disjunction and the varietyD of distributive lattices, within the context of Algebraic Logic. The central tool in that study was a class of closure operators which we calleddistributive, and one of its main results was that for any algebraA of type (2,2) there is an isomorphism between the lattices of allD-congruences ofA and of all distributive closure operators overA. In the present paper we study the lattice structure of this last set, give a description of its finite and infinite operations, and obtain a topological representation. We also apply the mentioned isomorphism and other results to obtain proofs with a logical flavour for several new or well-known lattice-theoretical properties, like Hashimoto's characterization of distributive lattices, and Priestley's topological representation of the congruence lattice of a bounded distributive lattice.

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

Access this article

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

  1. R. Balbes andP. Dwinger,Distributive lattices. University of Missouri Press, Columbia (Missouri) 1974.

    Google Scholar 

  2. W.J. Blok andD. Pigozzi,Protoalgebraic logics.Studia Logica, 45 (1986) 337–369.

    Google Scholar 

  3. W.J. Blok andD. Pigozzi,Algebraizable logics. Memoirs of the American Mathematical Society, vol. 396 (january 1989).

  4. D.J. Brown andR. Suszko,Abstract Logics,Dissertationes Mathematicae 102 (1973) pp. 9–42.

    Google Scholar 

  5. S. Burris andH.P. Sankappanavar,A Course in Universal Algebra. Springer-Verlag, New York, 1981.

    Google Scholar 

  6. P.M. Cohn,Universal Algebra. Harper and Row, New York 1965.

    Google Scholar 

  7. B.A. Davey andH.A. Priestley,Introduction to Lattices and Order. Cambridge University Press, Cambridge, 1990.

    Google Scholar 

  8. J.M. Font, F. Guzmán andV. Verdú,Characterization of the reduced matrices for the {∧, ∨}-fragment of classical logic.Bulletin of the Section of Logic, 20 (1991) pp. 124–128.

    Google Scholar 

  9. J.M. Font andV. Verdú,Algebraic Logic for Classical Conjunction and Disjunction.Studia Logica 50 (1991) pp. 391–419.

    Google Scholar 

  10. J. Hashimoto,Ideal Theory for lattices,Mathematica Japonica 2 (1952) pp. 149–186.

    Google Scholar 

  11. B. Jónsson,Topics in Universal Algebra. (Lectures Notes in Mathematics, vol. 250) Springer-Verlag, Berlin 1970.

    Google Scholar 

  12. J. Łoś andR. Suszko,Remarks on sentential logics,Indagationes Mathematicae 20 (1958) pp. 177–183.

    Google Scholar 

  13. J. Rebagliato andV. Verdú,On the algebraization of some Gentzen systems.Fundamenta Informaticæ, Special Issue on Algebra and Logic in Computer Science, 15 (1992) to appear.

  14. V. Verdú, Logics projectively generated from [M]=(F4, [{1}]) by a set of homomorphisms,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33 (1987) pp. 235–241.

    Google Scholar 

  15. V. Verdú,On the structure of a set of closure operators, Manuscript, 1988.

  16. R. Wójcicki,Theory of Logical Calculi. Basic Theory of Consequence Operations (Synthese Library, vol. 199) D. Reidel, Dordrecht 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Work partially supported by grant PB90-0465-C02-01 of the DGICYT.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Font, J.M., Verdú, V. The lattice of distributive closure operators over an algebra. Stud Logica 52, 1–13 (1993). https://doi.org/10.1007/BF01053060

Download citation

  • Received:

  • Issue Date:

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

1991 Mathematics Subject Classification

Navigation