Lattice-ordered algebras with polynomial inequalities

1995 ◽  
Vol 7 (7) ◽  
Author(s):  
Piotr J. Wojciechowski
Keyword(s):  
Polynomial Inequalities ◽  
Ordered Algebras

Completions of ordered magmas

1980 ◽  
Vol 3 (1) ◽  
pp. 105-116
Author(s):  
Bruno Courcelle ◽  
Jean-Claude Raoult
Keyword(s):  
Programming Languages ◽  
Semantics Of Programming Languages ◽  
Ordered Algebras ◽  
Completion Theorem

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.

scholarly journals Polynomial inequalities on the Hamming cube

2020 ◽  
Vol 178 (1-2) ◽  
pp. 235-287
Author(s):  
Alexandros Eskenazis ◽  
Paata Ivanisvili
Keyword(s):  
Polynomial Inequalities

scholarly journals Amalgamation and interpolation in ordered algebras

2014 ◽  
Vol 402 ◽  
pp. 21-82 ◽  
Author(s):  
George Metcalfe ◽  
Franco Montagna ◽  
Constantine Tsinakis
Keyword(s):  
Ordered Algebras
Sign in / Sign up

Export Citation Format

Share Document