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.
Similar content being viewed by others
References
R. Balbes andP. Dwinger,Distributive lattices. University of Missouri Press, Columbia (Missouri) 1974.
W.J. Blok andD. Pigozzi,Protoalgebraic logics.Studia Logica, 45 (1986) 337–369.
W.J. Blok andD. Pigozzi,Algebraizable logics. Memoirs of the American Mathematical Society, vol. 396 (january 1989).
D.J. Brown andR. Suszko,Abstract Logics,Dissertationes Mathematicae 102 (1973) pp. 9–42.
S. Burris andH.P. Sankappanavar,A Course in Universal Algebra. Springer-Verlag, New York, 1981.
P.M. Cohn,Universal Algebra. Harper and Row, New York 1965.
B.A. Davey andH.A. Priestley,Introduction to Lattices and Order. Cambridge University Press, Cambridge, 1990.
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.
J.M. Font andV. Verdú,Algebraic Logic for Classical Conjunction and Disjunction.Studia Logica 50 (1991) pp. 391–419.
J. Hashimoto,Ideal Theory for lattices,Mathematica Japonica 2 (1952) pp. 149–186.
B. Jónsson,Topics in Universal Algebra. (Lectures Notes in Mathematics, vol. 250) Springer-Verlag, Berlin 1970.
J. Łoś andR. Suszko,Remarks on sentential logics,Indagationes Mathematicae 20 (1958) pp. 177–183.
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.
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.
V. Verdú,On the structure of a set of closure operators, Manuscript, 1988.
R. Wójcicki,Theory of Logical Calculi. Basic Theory of Consequence Operations (Synthese Library, vol. 199) D. Reidel, Dordrecht 1988.
Author information
Authors and Affiliations
Additional information
Work partially supported by grant PB90-0465-C02-01 of the DGICYT.