Relation Algebra throughout Galois Connections

被引：0
|
作者：
de Freitas, Renata [1 ]
Suguitani, Leandro [2 ]
Viana, Petrucio [1 ]
机构：
[1] Univ Fed Fluminense, BR-24220000 Niteroi, RJ, Brazil
[2] Univ Estadual Campinas, Campinas, Brazil
来源：
LOGICA YEARBOOK 2013 | 2014年
关键词：
relation algebra; Galois connection; heuristics for proofs;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
We present a set of non-equational axioms for relation algebra. Our axioms have three appealing characteristics: (1) they are based on the notion of Galois connection; (2) they display a remarkable parallelism between the Boolean (or static) and the non-Boolean (or dynamic) part of relation algebra; (3) they employ a mixture of equational reasoning, reasoning by equivalences, and reasoning by lattice theoretical inequalities, being very manageable in affording heuristics to derive the true equalities of relation algebra arithmetic.
引用
收藏
页码：49 / 62
页数：14
相关论文
共 50 条
  • [21] A CATEGORY OF GALOIS CONNECTIONS
    MCDILL, JM
    MELTON, AC
    STRECKER, GE
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 290 - 300
  • [22] Constructive Galois Connections
    Darais, David
    Van Horn, David
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [23] Prime Galois Connections
    Swamy, U. M.
    Murty, A. V. S. N.
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2010, 34 (03) : 497 - 508
  • [24] Structures on Galois connections
    Murty, A.V.S.N.
    Italian Journal of Pure and Applied Mathematics, 2020, 44 : 150 - 154
  • [25] The Galois algebra with Galois group which is the automorphism group
    Szeto, G
    Xue, LY
    JOURNAL OF ALGEBRA, 2005, 293 (01) : 312 - 318
  • [26] Triadic fuzzy Galois connections as ordinary connections
    Belohlavek, Radim
    Osicka, Petr
    FUZZY SETS AND SYSTEMS, 2014, 249 : 83 - 99
  • [27] Triadic fuzzy Galois connections as ordinary connections
    Belohlavek, Radim
    Osicka, Petr
    2012 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2012,
  • [28] Galois theory and linear algebra
    Gow, Rod
    Quinlan, Rachel
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2009, 430 (07) : 1778 - 1789
  • [29] ON THE ABELIAN GALOIS COVERINGS OF AN ALGEBRA
    DELAPENA, JA
    JOURNAL OF ALGEBRA, 1986, 102 (01) : 129 - 134
  • [30] On Galois extensions of an Azurnaya algebra
    Alfaro, R
    Szeto, G
    COMMUNICATIONS IN ALGEBRA, 1997, 25 (06) : 1873 - 1882
12345