Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009

Source URL: spot.colorado.edu

• Mathematics
• Algebra
• Abstract algebra
• Algebraic logic
• Lattice theory
• Mathematical logic
• Order theory
• Algebraic structures
• Heyting algebra
• Residuated lattice
• Boolean algebra
• DedekindMacNeille completion

DISTRIBUTIVITY OF THE NORMAL COMPLETION, AND ITS PRIESTLEY REPRESENTATION ˇ PULTR RICHARD N. BALL AND ALES Abstract. The normal, or Dedekind-MacNeille, completion δ(L) of a distributive lattice L need not be distributi

Source URL: iti.mff.cuni.cz

Confluent Hasse Diagrams David Eppstein and Joseph A. Simons University of California, Irvine Goal: • Improve Readability of Hasse Diagrams

Source URL: www.ics.uci.edu

• Structure
• Dedekind–MacNeille completion
• Hasse diagram
• Confluence
• Planar graph
• Dedekind cut
• Partially ordered set
• Order theory
• Graph theory
• Mathematics