4 found
Sort by:
  1. T. S. Blyth, Jie Fang & Lei-bo Wang (forthcoming). De Morgan Algebras with a Quasi-Stone Operator. Studia Logica:1-16.
    We investigate the class of those algebras (L; º, *) in which (L; º) is a de Morgan algebra, (L; *) is a quasi-Stone algebra, and the operations ${x \mapsto x^{\circ}}$ and ${x \mapsto x^{*}}$ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. T. S. Blyth & J. Fang (2011). On Endomorphisms of Ockham Algebras with Pseudocomplementation. Studia Logica 98 (1-2):237-250.
    A pO -algebra $${(L; f, \, ^{\star})}$$ is an algebra in which ( L ; f ) is an Ockham algebra, $${(L; \, ^{\star})}$$ is a p -algebra, and the unary operations f and $${^{\star}}$$ commute. Here we consider the endomorphism monoid of such an algebra. If $${(L; f, \, ^{\star})}$$ is a subdirectly irreducible pK 1,1 - algebra then every endomorphism $${\vartheta}$$ is a monomorphism or $${\vartheta^3 = \vartheta}$$ . When L is finite the endomorphism monoid of L is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
    An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. T. S. Blyth & J. C. Varlet (1996). The Dual Space of a Finite Simple Ockham Algebra. Studia Logica 56 (1-2):3 - 21.
    Let (L; f) be a finite simple Ockham algebra and let (X;g) be its dual space. We first prove that every connected component of X is either a singleton or a generalised crown (i.e. an ordered set that is connected, has length 1, and all vertices of which have the same degree). The representation of a generalised crown by a square (0,1)-matrix in which all line sums are equal is used throughout, and a complete description of X, including the number (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation