DedekindMacNeille completion

#	Item
1	Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:43:04 Mathematics Algebra Abstract algebra Algebraic logic Lattice theory Mathematical logic Order theory Algebraic structures Heyting algebra Residuated lattice Boolean algebra DedekindMacNeille completion