Branching-time type operators on finite pseudo-Boolean algebras

被引：0
|
作者：
Yashin, A. D. [1 ]
机构：
[1] MGPPU, FIT, Moscow 127051, Russia
来源：
ALGEBRA AND LOGIC | 2008年 / 47卷 / 04期
关键词：
pseudo-Boolean algebra; branching-time type operator; finite frame;
D O I：
10.1007/s10469-008-9020-2
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Branching-time type operators on pseudo-Boolean algebras (PBAs) are considered. It is proved that on a finite PBA, every operator of this type is defined by a subset of points on a finite frame presenting that PBA.
引用
收藏
页码：289 / 294
页数：6
相关论文
共 30 条
  • [1] Branching-time type operators on finite pseudo-Boolean algebras
    A. D. Yashin
    [J]. Algebra and Logic, 2008, 47 : 289 - 294
  • [2] ON REPRESENTATION OF FINITE PSEUDO-BOOLEAN ALGEBRAS AND ONE OF ITS APPLICATIONS
    KHOMICH, VI
    [J]. MATHEMATICAL NOTES, 1992, 52 (1-2) : 844 - 851
  • [3] MONADICITY IN TOPOLOGICAL PSEUDO-BOOLEAN ALGEBRAS
    FONT, JM
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 282 - 283
  • [4] REMARKS ON DISTRIBUTIVE PSEUDO-BOOLEAN ALGEBRAS
    RAUSZER, C
    SABALSKI, B
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (02): : 123 - 129
  • [5] ON MODELLING PSEUDO-BOOLEAN ALGEBRAS IN TERMS OF RELIZABILITY
    KABAKOV, FA
    [J]. DOKLADY AKADEMII NAUK SSSR, 1970, 192 (01): : 16 - &
  • [6] On embeddability of some generalizations of Pseudo-Boolean algebras
    Khomich, VI
    [J]. DOKLADY AKADEMII NAUK, 1996, 350 (02) : 174 - 177
  • [7] ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS
    RYBAKOV, VV
    [J]. MATHEMATICAL NOTES, 1985, 37 (5-6) : 435 - 438
  • [8] ON CONNECTION OF PARTIALLY ORDERED SETS WITH SOME PSEUDO-BOOLEAN ALGEBRAS
    DEJONGH, DHJ
    TROELSTR.AS
    [J]. KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1966, 69 (03): : 317 - &
  • [9] Running Time Analysis of MOEA/D on Pseudo-Boolean Functions
    Huang, Zhengxin
    Zhou, Yuren
    Chen, Zefeng
    He, Xiaoyu
    Lai, Xinsheng
    Xia, Xiaoyun
    [J]. IEEE TRANSACTIONS ON CYBERNETICS, 2021, 51 (10) : 5130 - 5141
  • [10] Running time analysis of multiobjective evolutionary algorithms on Pseudo-Boolean functions
    Laumanns, M
    Thiele, L
    Zitzler, E
    [J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2004, 8 (02) : 170 - 182
123