On congruence distributivity of ordered algebras with constants

2011 ◽  
Vol 31 (1) ◽  
pp. 47
Author(s):  
Krisztina Balog ◽  
Benedek Skublics
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.


2014 ◽  
Vol 402 ◽  
pp. 21-82 ◽  
Author(s):  
George Metcalfe ◽  
Franco Montagna ◽  
Constantine Tsinakis
Keyword(s):  

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

2004 ◽  
Vol 2 (3) ◽  
pp. 368-376
Author(s):  
I. Chajda ◽  
R. Halaš

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

Sign in / Sign up

Export Citation Format

Share Document