Output details
11 - Computer Science and Informatics
Birkbeck College
Article title
Axiomatizability of positive algebras of binary relations
Type
D - Journal article
Title of journal
Algebra universalis
Article number
-
Volume number
66
Issue number
1-2
First page of article
7
ISSN of journal
1420-8911
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<11> Finite axiomatisability has been in the centre of research on relation algebras in the last 50 years. This paper gives a solution to the finite axiomatisability problem for all the negation-free fragments. These results pave the way for further investigations on finitely axiomatisable versions of algebras of relations.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Computational Intelligence
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-