Axiomatizability of positive algebras of binary relations

Andréka, H. and Mikulás, Szabolcs (2011) Axiomatizability of positive algebras of binary relations. Algebra Universalis 66 (1-2), pp. 7-34. ISSN 0002-5240.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/s00012-011-0142-3

Abstract

We consider all positive fragments of Tarski’s representable relation algebras and determine whether the equational and quasiequational theories of these fragments are finitely axiomatizable in first-order logic. We also look at extending the signature with reflexive, transitive closure and the residuals of composition.

Metadata

Item Type:	Article
Keyword(s) / Subject(s):	Primary: 03G15, Secondary: 06F05, representable relation algebras, finite axiomatizability, ordered semigroups
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Administrator
Date Deposited:	11 Jun 2013 10:07
Last Modified:	09 Aug 2023 12:33
URI:	https://eprints.bbk.ac.uk/id/eprint/7436

Statistics

Archive Staff Only (login required)

Edit/View Item