scholarly journals Amalgamation and interpolation in ordered algebras

2014 ◽  
Vol 402 ◽  
pp. 21-82 ◽  
Author(s):  
George Metcalfe ◽  
Franco Montagna ◽  
Constantine Tsinakis
Keyword(s):  
1980 ◽  
Vol 3 (1) ◽  
pp. 105-116
Author(s):  
Bruno Courcelle ◽  
Jean-Claude Raoult

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.


1940 ◽  
Vol 46 (6) ◽  
pp. 521-523 ◽  
Author(s):  
A. A. Albert
Keyword(s):  

2006 ◽  
Vol 417 (2-3) ◽  
pp. 347-369 ◽  
Author(s):  
Thomas I. Seidman ◽  
Hans Schneider

1989 ◽  
pp. 175-179
Author(s):  
S. J. Bernau ◽  
C. B. Huijsmans
Keyword(s):  

2020 ◽  
Vol 171 (10) ◽  
pp. 102842 ◽  
Author(s):  
José Gil-Férez ◽  
Luca Spada ◽  
Constantine Tsinakis ◽  
Hongjun Zhou

1983 ◽  
Vol 17 (1) ◽  
pp. 376-392 ◽  
Author(s):  
T. Evans ◽  
P. A. Hartman
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document