Weak bases for Boolean relational clones revisited

被引:4
|
作者
Behrisch, Mike [1 ,2 ]
机构
[1] Tech Univ Wien, Inst Diskrete Math & Geometrie, Vienna, Austria
[2] Johannes Kepler Univ Linz, Inst Algebra, Linz, Austria
关键词
relational clone; weak base; strong partial clone; Boolean clone; Boolean relational clone; Boolean co-clone;
D O I
10.1109/ISMVL52857.2022.00017
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We improve an existence condition for weak bases of relational clones on finite sets. Moreover, we provide a set of singleton weak bases of Boolean relational clones different than those exhibited by Lagerkvist in [10]. We treat groups of 'similar' Boolean clones in a uniform manner with the goal of thereby simplifying proofs working by case distinction along the clones in Post's lattice.
引用
收藏
页码:68 / 73
页数:6
相关论文
共 50 条
  • [1] ON WEAK BASES FOR BOOLEAN RELATIONAL CLONES AND REDUCTIONS FOR COMPUTATIONAL PROBLEMS
    Behrisch, Mike
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (06):
  • [2] On Weak Bases for Boolean Relational Clones and Reductions for Computational Problems
    Behrisch, Mike
    Journal of Applied Logics, 2023, 10 (06): : 1059 - 1103
  • [3] Weak bases of Boolean co-clones
    Lagerkvist, Victor
    INFORMATION PROCESSING LETTERS, 2014, 114 (09) : 462 - 468
  • [4] Bases for Boolean co-clones
    Böhler, E
    Reith, S
    Schnoor, H
    Vollmer, H
    INFORMATION PROCESSING LETTERS, 2005, 96 (02) : 59 - 66
  • [5] C-Maximal Strong Partial Clones and the Inclusion Structure of Boolean Weak Bases
    Lagerkvist, Victor
    Roy, Biman
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2022, 38 (3-4) : 333 - 353
  • [6] The Inclusion Structure of Boolean Weak Bases
    Lagerkvist, Victor
    Roy, Biman
    2019 IEEE 49TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2019, : 31 - 36
  • [7] Weak bases for all maximal clones
    Behrisch, Mike
    2024 IEEE 54TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2024, 2024, : 7 - 12
  • [8] WEAK REPRESENTATIONS OF RELATION ALGEBRAS AND RELATIONAL BASES
    Hirsch, Robin
    Hodkinson, Ian
    Maddux, Roger D.
    JOURNAL OF SYMBOLIC LOGIC, 2011, 76 (03) : 870 - 882
  • [9] Structure identification of Boolean relations and plain bases for co-clones
    Creignou, Nadia
    Kolaitis, Phokion
    Zanuttini, Bruno
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2008, 74 (07) : 1103 - 1115
  • [10] COMPARISON OF BOOLEAN BASES
    STETSENKO, VA
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1988, (07): : 72 - 79