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 条
  • [1] Semilinear Space, Galois Connections and Fuzzy Relation Equations
    Perfilieva, Irina
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 71 - 79
  • [2] GALOIS CONNECTIONS
    HERRLICH, H
    HUSEK, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 122 - 134
  • [3] DUAL CONNECTIONS AND GALOIS CONNECTIONS
    KRISHNAN, VS
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (05): : 764 - &
  • [4] LAGOIS CONNECTIONS - A COUNTERPART TO GALOIS CONNECTIONS
    MELTON, A
    SCHRODER, BSW
    STRECKER, GE
    THEORETICAL COMPUTER SCIENCE, 1994, 136 (01) : 79 - 107
  • [5] Galois Connections in A Topos
    Tao LU1
    2.School of Mathematics and Computer Science
    3.Lianyungang Teacher’s College
    Journal of Mathematical Research with Applications, 2010, (03) : 381 - 389
  • [6] Fuzzy Galois connections
    Bêlohlávek, R
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (04) : 497 - 504
  • [7] STRUCTURE OF GALOIS CONNECTIONS
    SHMUELY, Z
    PACIFIC JOURNAL OF MATHEMATICS, 1974, 54 (02) : 209 - 225
  • [8] Relational galois connections
    Ganter, Bernhard
    FORMAL CONCEPT ANALYSIS, PROCEEDINGS, 2007, 4390 : 1 - 17
  • [9] On Constructivity of Galois Connections
    Ranzato, Francesco
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 452 - 473
  • [10] The quantale of Galois connections
    Jorge Picado
    algebra universalis, 2005, 52 : 527 - 540
12345