Graduate studies at Western
Studia Logica 52 (1):1 - 13 (1993)
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Janusz Czelakowski (1984). Filter Distributive Logics. Studia Logica 43 (4):353 - 377.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
Alasdair Urquhart (1981). Distributive Lattices with a Dual Homomorphic Operation. II. Studia Logica 40 (4):391 - 404.
Andrzej W. Jankowski (1986). Retracts of the Closure Space of Filters in the Lattice of All Subsets. Studia Logica 45 (2):135 - 154.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Andrea Sorbi (1990). Some Remarks on the Algebraic Structure of the Medvedev Lattice. Journal of Symbolic Logic 55 (2):831-853.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
Added to index2009-01-28
Total downloads4 ( #189,291 of 739,395 )
Recent downloads (6 months)1 ( #61,680 of 739,395 )
How can I increase my downloads?