Closures in Binary Partial Algebras

被引：0
|
作者：
Zhang, Guo-Qiang [1 ]
机构：
[1] Case Western Reserve Univ, Dept Elect Engn & Comp Sci, Cleveland, OH 44022 USA
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 257卷
关键词：
Partial algebra; algorithm; closure; formal concept analysis; resolution principle;
D O I：
10.1016/j.entcs.2009.11.023
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Two procedures for computing closures in binary partial algebras (BPA) are introduced: a Fibonacci-style procedure for closures in associative BPAs, and a multistage procedure for closures in associative, commutative and idempotent BPAs. Ramifications in areas such as resolution theorem proving, graph-theoretic algorithms, formal languages and formal concept analysis are discussed. In particular, the multistage procedure, when applied to formal concept analysis, results in a new algorithm outperforming leading algorithms for computing concept sets.
引用
收藏
页码：3 / 18
页数：16
相关论文
共 50 条
  • [21] Partial *-algebras: A retrospective
    Antoine, JP
    THEORETICAL PHYSICS, FIN DE SIECLE, 1999, 539 : 161 - 179
  • [22] Asymptotics of matrix coefficients and closures of Fourier-Stieltjes algebras
    Mayer, M
    JOURNAL OF FUNCTIONAL ANALYSIS, 1997, 143 (01) : 42 - 54
  • [23] On quiver Grassmannians and orbit closures for representation-finite algebras
    William Crawley-Boevey
    Julia Sauter
    Mathematische Zeitschrift, 2017, 285 : 367 - 395
  • [24] Partial *-algebras of distributions
    Trapani, C
    Tschinke, F
    PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 2005, 41 (02) : 259 - 279
  • [25] On Partial Galois Algebras
    Jiang, Xiaolong
    Kuo, Jung-Miao
    Szeto, George
    TAIWANESE JOURNAL OF MATHEMATICS, 2018, 22 (06): : 1367 - 1382
  • [26] A CLOSURE FOR PARTIAL ALGEBRAS
    MIKENBERG, I
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 187 - 187
  • [27] FREE PARTIAL ALGEBRAS
    BURMEISTER, P
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1970, 241 : 75 - +
  • [28] Biweights on partial *-algebras
    Antoine, JP
    Inoue, A
    Trapani, C
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2000, 242 (02) : 164 - 190
  • [29] On quiver Grassmannians and orbit closures for representation-finite algebras
    Crawley-Boevey, William
    Sauter, Julia
    MATHEMATISCHE ZEITSCHRIFT, 2017, 285 (1-2) : 367 - 395
  • [30] Decidability of term algebras extending partial algebras
    Khoussainov, B
    Rubin, S
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 292 - 308
12345