Completions of ordered magmas
Bruno Courcelle, Jean-Claude Raoult · Fundamenta Informaticae · 1980
We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results follow. The semantics of programming languages is the motivation of such investigations.