Publication:
Meet-completions and ordered domain algebras

Issued Date

2015-01-01

Resource Type

Article

ISSN

13689894
13670751

DOI

10.1093/jigpal/jzv018

Other identifier(s)

2-s2.0-84939485261

Rights

Mahidol University

Rights Holder(s)

SCOPUS

Bibliographic Citation

Logic Journal of the IGPL. Vol.23, No.4 (2015), 584-600

Suggested Citation

R. Egrot, R. Hirsch Meet-completions and ordered domain algebras. Logic Journal of the IGPL. Vol.23, No.4 (2015), 584-600. doi:10.1093/jigpal/jzv018 Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/35314

Research Projects

Organizational Units

Authors

Journal Issue

Thesis

Title

Meet-completions and ordered domain algebras

Author(s)

R. Egrot
 R. Hirsch

Other Contributor(s)

Mahidol University
 UCL

Abstract

© The Author 2015. Using the well-known equivalence between meet-completions of posets and standard closure operators, we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for ordered domain algebras which simultaneously serves as the base of a representation for such algebras, thereby proving that ordered domain algebras have the finite representation property. We show that many of the equations defining ordered domain algebras are preserved in this completion but associativity, (D2) and (D6) can fail.

Keyword(s)

Arts and Humanities

Availability

URI

https://repository.li.mahidol.ac.th/handle/20.500.14594/35314

Collections

Scopus 2011-2015