Ockham algebras with double pseudocomplementation
A (universal) algebra \((L; \vee, \wedge, f, ^*, ^+, 0, 1)\) is called a double pseudocomplemented Ockham algebra (shortly, \textbf{dpO}), if \(L=(L; \vee, \wedge, 0, 1)\) is a bounded distributive lattice together with three unary operations, \(f\), \(^*\) and \(^+\), such that (i) \((L; f)\) is an Ockham algebra, (ii) \(^*\) is the operation of pseudocomplementation, (iii) \(^+\) is the operation of dual pseudocomplementation, (iv) \(f\) and \(^*\) commute and (v) \(f\) and \(^+\) commute. The author describes (i) the principal congruence relations in \textbf{dpO} and (ii) characterizes the subdirectly irreducible algebras that belong to the subvariety of \textbf{dpO} defined by the identity \(f=f^3.\)
- Ockham algebras with balanced double pseudocomplementation
- Heyting algebras with dual pseudocomplementation
- Ockham algebras with balanced double demi-pseudocomplementation
- scientific article; zbMATH DE number 6832040 (Why is no real title available?)
- scientific article; zbMATH DE number 7233749 (Why is no real title available?)
- Balanced Double Ockham Algebras
- Pseudocomplemented Okham and Demorgan Algebras
- Ockham algebras with pseudocomplementation
- Ockham algebras with demi-pseudocomplementation
- scientific article; zbMATH DE number 6129734 (Why is no real title available?)
- Ockham Algebras—An Urquhart Legacy
- De Morgan algebras with double pseudocomplementation.
- Complemented congruences on double Ockham algebras
- Commuting double Ockham algebras
This page was built for publication: Ockham algebras with double pseudocomplementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861602)