Ordered domain algebras

Hirsch, R. and Mikulás, Szabolcs (2013) Ordered domain algebras. Journal of Applied Logic 11 (3), pp. 266-271. ISSN 1570-8683.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1016/j.jal.2013.04.002

Abstract

We give a finite axiomatisation to representable ordered domain algebras and show that finite algebras are representable on finite bases.

Metadata

Item Type:	Article
Keyword(s) / Subject(s):	Domain algebra, Finite representation, Relation, Finite axiomatisation, Cayley representation
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Administrator
Date Deposited:	03 May 2013 07:15
Last Modified:	09 Aug 2023 12:32
URI:	https://eprints.bbk.ac.uk/id/eprint/6575

Statistics

Archive Staff Only (login required)

Edit/View Item