An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
The authors give a term equivalence between the simply \(k\)-cyclic Post algebra of order \(p\), \( L_{p, k}\), and the finite field \(F(p^k)\) with constants \(F(p)\). By using Lagrange polynomials they give an explicit procedure to obtain an interpretation \(\Phi_1\) of the variety \(\nu (L_{p, k})\) generated by \(L_{p, k}\) into the variety \(\nu(F(p^k))\) generated by \(F(p^k)\) and an interpretation \(\Phi_2\) of \(\nu(F(p^k))\) into \(\nu (L_{p, k})\) such that \(\Phi_2 \Phi_1 (B) = B\) for every \(B \in \nu(L_{p, k})\) and \(\Phi_1 \Phi_2 (R) = R\) for every \(R \in \nu(F(p^k))\).
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras
- Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
- Cyclic Elements in MV‐Algebras and Post Algebras
- scientific article; zbMATH DE number 5248906
- scientific article; zbMATH DE number 1284144
- scientific article; zbMATH DE number 3847453 (Why is no real title available?)
- scientific article; zbMATH DE number 4170851 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3741467 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3501560 (Why is no real title available?)
- scientific article; zbMATH DE number 3609730 (Why is no real title available?)
- scientific article; zbMATH DE number 1506798 (Why is no real title available?)
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- scientific article; zbMATH DE number 3380600 (Why is no real title available?)
- Lukasiewicz-Moisil algebras
- The Lattice Theory of Post Algebras
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism
- Varieties of universal algebras generated by finite algebras associated with cycle systems
- Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras
This page was built for publication: An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861578)