Publication: Meet-completions and ordered domain algebras
| dc.contributor.author | R. Egrot | en_US |
| dc.contributor.author | R. Hirsch | en_US |
| dc.contributor.other | Mahidol University | en_US |
| dc.contributor.other | UCL | en_US |
| dc.date.accessioned | 2018-11-23T09:35:34Z | |
| dc.date.available | 2018-11-23T09:35:34Z | |
| dc.date.issued | 2015-01-01 | en_US |
| dc.description.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. | en_US |
| dc.identifier.citation | Logic Journal of the IGPL. Vol.23, No.4 (2015), 584-600 | en_US |
| dc.identifier.doi | 10.1093/jigpal/jzv018 | en_US |
| dc.identifier.issn | 13689894 | en_US |
| dc.identifier.issn | 13670751 | en_US |
| dc.identifier.other | 2-s2.0-84939485261 | en_US |
| dc.identifier.uri | https://repository.li.mahidol.ac.th/handle/20.500.14594/35314 | |
| dc.rights | Mahidol University | en_US |
| dc.rights.holder | SCOPUS | en_US |
| dc.source.uri | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84939485261&origin=inward | en_US |
| dc.subject | Arts and Humanities | en_US |
| dc.title | Meet-completions and ordered domain algebras | en_US |
| dc.type | Article | en_US |
| dspace.entity.type | Publication | |
| mu.datasource.scopus | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84939485261&origin=inward | en_US |