Completions of Algebras and Completeness of Modal and Substructural Logics.
Hiroakira Ono · 2002
this paper. So, we start our paper by giving a brief account of the MacNeille completion of partially ordered sets and of Boolean algebras, which is de ned here by using cuts (see x 35 Example F in [33])