Ockham algebras with pseudocomplementation
- 1 January 1997
- journal article
- research article
- Published by Taylor & Francis in Communications in Algebra
- Vol. 25 (11) , 3605-3615
- https://doi.org/10.1080/00927879708826073
Abstract
The variety pO consists of those algebras (L; ⋀, ⋁, f,*, 0,1) of type (2,2,1,1,0,0) where (L; ⋀, ⋁, f, 0,1) is an Ockham algebra, (Z; ⋀, ⋁,*, 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 pK1,1, characterised by the property f3 = f.Keywords
This publication has 9 references indexed in Scilit:
- Ockham AlgebrasPublished by Oxford University Press (OUP) ,1994
- Subdirectly irreducible and free Kleene-Stone algebrasAlgebra universalis, 1994
- Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal CongruencesMathematical Logic Quarterly, 1989
- Heyting Algebras with a Dual Lattice EndomorphismMathematical Logic Quarterly, 1987
- Principal Congruences of Pseudocomplemented Demorgan AlgebrasMathematical Logic Quarterly, 1987
- Pseudocomplemented Okham and Demorgan AlgebrasMathematical Logic Quarterly, 1986
- Subdirectly irreducible pseudocomplemented de Morgan algebrasAlgebra universalis, 1981
- General Lattice TheoryPublished by Springer Nature ,1978
- Principal congruences of pseudocomplemented distributive latticesProceedings of the American Mathematical Society, 1973