Abstract
Algebras whose carriers are partially ordered sets and operations are monotone and algebras whose carriers are complete partial orders and operations are continuous are studied. A quotient construction is provided for both types of algebras. The notion of a variety of algebras is defined and it is shown that the analogue of Birkhoff variety theorem holds for ordered algebras but not for continuous algebras. The results presented are a good first step towards a theory of ordered data types and a study of families of interpretations of schemas.
Original language | English |
---|---|
Pages (from-to) | 214-220 |
Number of pages | 7 |
Journal | Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
Volume | 1978-October |
State | Published - 1978 |
Externally published | Yes |
Event | 19th Annual Symposium on Foundations of Computer Science, SFCS 1978 - Ann Arbor, United States Duration: 16 Oct 1978 → 18 Oct 1978 |
Bibliographical note
Publisher Copyright:© 1978 IEEE.