Ockham algebras with pseudocomplementation

被引:13
|
作者
Blyth, TS [1 ]
Fang, J [1 ]
Varlet, JC [1 ]
机构
[1] UNIV LIEGE,INST MATH,LIEGE,BELGIUM
关键词
D O I
10.1080/00927879708826073
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The variety pO consists of those algebras (L; boolean AND, boolean OR, f*, 0, 1) of type (2, 2, 1, 1, 0, 0) where (L; boolean AND, boolean OR, f, 0, 1) is an Ockham algebra, (L; boolean AND, boolean OR, 0, 1) is a p-algebra, and the unary operations f and * commute. We describe completely the structure of the subdirectly irreducible algebras that belong to the subclass pK(1,1), characterised by the property f(3) = f.
引用
收藏
页码:3605 / 3615
页数:11
相关论文
共 50 条
  • [41] Commuting double Ockham algebras
    Fang, Jie
    SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 51 (02): : 185 - 194
  • [42] Congruence kernels in Ockham algebras
    T. S. Blyth
    H. J. Silva
    Algebra universalis, 2017, 78 : 55 - 65
  • [43] Complemented congruences on Ockham algebras
    C. Mendes
    algebra universalis, 2005, 54 : 279 - 290
  • [44] DE MORGAN ALGEBRAS WITH DOUBLE DEMI-PSEUDOCOMPLEMENTATION
    Fang Jie
    Wang Leibo
    ACTA MATHEMATICA SCIENTIA, 2011, 31 (04) : 1613 - 1623
  • [45] Congruences on Balanced Pseudocomplemented Ockham Algebras
    Jie FANG School of Computer Sciences
    ActaMathematicaSinica(EnglishSeries), 2009, 25 (06) : 1031 - 1040
  • [46] EQUATIONAL BASES FOR VARIETIES OF OCKHAM ALGEBRAS
    ADAMS, ME
    PRIESTLEY, HA
    ALGEBRA UNIVERSALIS, 1994, 32 (03) : 368 - 397
  • [47] Equational bases for varieties of Ockham algebras
    J. C. Varlet
    Júlia Vaz de Carvalho
    algebra universalis, 2000, 44 : 251 - 269
  • [48] Congruences on balanced pseudocomplemented Ockham algebras
    Jie Fang
    Acta Mathematica Sinica, English Series, 2009, 25 : 1031 - 1040
  • [49] Ockham algebras arising from monoids
    Blyth, TS
    Silva, HJ
    Varlet, JC
    ALGEBRA COLLOQUIUM, 2001, 8 (03) : 315 - 326
  • [50] Complemented congruences on double Ockham algebras
    C. Mendes
    Algebra universalis, 2007, 56 : 1 - 16