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 条
  • [21] Homomorphism, Ideals and Binary Relations on Hyper-MV Algebras
    Rasouli, S.
    Davvaz, B.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2011, 17 (01) : 47 - 68
  • [22] Expressive power and succinctness of the positive calculus of binary relations
    Nakamura, Yoshiki
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
  • [23] Lifting non-finite axiomatizability results to extensions of process algebras
    Aceto, Luca
    Fokkink, Wan
    Ingolfsdottir, Anna
    Mousavi, MohammadReza
    ACTA INFORMATICA, 2010, 47 (03) : 147 - 177
  • [24] Lifting non-finite axiomatizability results to extensions of process algebras
    Luca Aceto
    Wan Fokkink
    Anna Ingolfsdottir
    MohammadReza Mousavi
    Acta Informatica, 2010, 47 : 147 - 177
  • [25] Lifting non-finite axiomatizability results to extensions of process algebras
    Aceto, Luca
    Fokkink, Wan
    Ingolfsdottir, Anna
    Mousavi, MohammadReza
    FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 301 - +
  • [26] Generalized Serre relations for Lie algebras associated with positive unit forms
    Barot, M.
    Rivera, D.
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2007, 211 (02) : 360 - 373
  • [27] TINGLEY'S PROBLEM FOR POSITIVE UNIT SPHERES OF OPERATOR ALGEBRAS AND DIAMETRAL RELATIONS
    Leung, Chi-wai
    Ng, Chi-keung
    Wong, Ngai-ching
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2025,
  • [28] Binary Leibniz Algebras
    N. A. Ismailov
    A. S. Dzhumadil’daev
    Mathematical Notes, 2021, 110 : 322 - 328
  • [29] Binary Leibniz Algebras
    Ismailov, N. A.
    Dzhumadil'daev, A. S.
    MATHEMATICAL NOTES, 2021, 110 (3-4) : 322 - 328
  • [30] POLARIZATION ALGEBRAS AND THEIR RELATIONS
    Umirbaev, Ualbai
    JOURNAL OF COMMUTATIVE ALGEBRA, 2019, 11 (03) : 433 - 451
12345