Ockham algebras with pseudocomplementation

Thomas Scott Blyth; J Fang; JC Varlet

Ockham algebras with pseudocomplementation

Thomas Scott Blyth, J Fang, JC Varlet

Applied Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	3605-3615
Number of pages	11
Journal	Communications in Algebra
Volume	25
Publication status	Published - 1997

Keywords

PRINCIPAL CONGRUENCES
DEMORGAN ALGEBRAS

Cite this

@article{dc97d25dfc6d4463926f8e1b9dcdc1cd,

title = "Ockham algebras with pseudocomplementation",

abstract = "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.",

keywords = "PRINCIPAL CONGRUENCES, DEMORGAN ALGEBRAS",

author = "Blyth, {Thomas Scott} and J Fang and JC Varlet",

year = "1997",

language = "English",

volume = "25",

pages = "3605--3615",

journal = "Communications in Algebra",

issn = "0092-7872",

publisher = "Taylor & Francis",

}

TY - JOUR

T1 - Ockham algebras with pseudocomplementation

AU - Blyth, Thomas Scott

AU - Fang, J

AU - Varlet, JC

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

KW - PRINCIPAL CONGRUENCES

KW - DEMORGAN ALGEBRAS

M3 - Article

SN - 0092-7872

VL - 25

SP - 3605

EP - 3615

JO - Communications in Algebra

JF - Communications in Algebra

ER -

Ockham algebras with pseudocomplementation

Abstract

Keywords

Fingerprint

Cite this