Axiomatizability of positive algebras of binary relations

被引：0
|
作者：
Hajnal Andréka
Szabolcs Mikulás
机构：
[1] Hungarian Academy of Sciences,Alfréd Rényi Institute of Mathematics
[2] University of London,Department of Computer Science and Information Systems, Birkbeck
来源：
Algebra universalis | 2011年 / 66卷
关键词：
Primary: 03G15; Secondary: 06F05; representable relation algebras; finite axiomatizability; ordered semigroups;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
相关论文
共 50 条
12345