The lattice of distributive closure operators over an algebra

DOI10.1007/BF01053060zbMath0773.03039MaRDI QIDQ1208109

Ventura Verdú, Josep Maria Font

Publication date: 16 May 1993

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

topological representation; congruence lattice; distributive closure operators

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

06B15: Representation theory of lattices

06D05: Structure and representation theory of distributive lattices

03B22: Abstract deductive systems

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

Unsharp quantum logics

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Algebraic logic for classical conjunction and disjunction
• Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]
• Algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item