Back to Search
Start Over
Axiomatizability of positive algebras of binary relations.
- Source :
-
Algebra Universalis . Oct2011, Vol. 66 Issue 1/2, p7-34. 28p. - Publication Year :
- 2011
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *AXIOMS
*RELATION algebras
*ALGEBRAIC logic
*FIRST-order logic
*MATHEMATICAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 00025240
- Volume :
- 66
- Issue :
- 1/2
- Database :
- Academic Search Index
- Journal :
- Algebra Universalis
- Publication Type :
- Academic Journal
- Accession number :
- 66580185
- Full Text :
- https://doi.org/10.1007/s00012-011-0142-3