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 条
  • [1] Axiomatizability of positive algebras of binary relations
    Andreka, Hajnal
    Mikulas, Szabolcs
    ALGEBRA UNIVERSALIS, 2011, 66 (1-2) : 7 - 34
  • [2] Axiomatizability of algebras of binary relations
    Mikulás, S
    Classical and New Paradigms of Computation and Their Complexity Hierarchies, 2004, 23 : 187 - 205
  • [3] Axiomatizability of reducts of algebras of relations
    Ian Hodkinson
    Szabolcs Mikulás
    algebra universalis, 2000, 43 : 127 - 156
  • [4] Axiomatizability of reducts of algebras of relations
    Hodkinson, I
    Mikulás, S
    ALGEBRA UNIVERSALIS, 2000, 43 (2-3) : 127 - 156
  • [5] POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
    Hirsch, Robin
    Mikulas, Szabolcs
    REVIEW OF SYMBOLIC LOGIC, 2011, 4 (01): : 81 - 105
  • [6] On the Axiomatizability of Quantitative Algebras
    Mardare, Radu
    Panangaden, Prakash
    Plotkin, Gordon
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [7] Groups and algebras of binary relations
    Givant, S
    Andreka, H
    BULLETIN OF SYMBOLIC LOGIC, 2002, 8 (01) : 38 - 64
  • [8] BINARY RELATIONS AND ALGEBRAS ON MULTISETS
    Ghilezan, Silvia
    Pantovic, Jovanka
    Vojvodic, Gradimir
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2014, 95 (109): : 111 - 117
  • [9] Axiomatizability of representable domain algebras
    Hirsch, Robin
    Mikulas, Szabolcs
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (02): : 75 - 91
  • [10] ON FINITE AXIOMATIZABILITY OF EXPANSIONS OF CYLINDRIC ALGEBRAS
    Ahmed, Tarek Sayed
    JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2011, 20 (01): : 1 - 20
12345