Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras
Studia Logica 98 (1-2):307-330 (2011)
| Abstract | There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) = R for every $${R \in \mathcal{V}(F(p^k))}$$. In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSergio A. Celani (2011). Classical Modal De Morgan Algebras. Studia Logica 98 (1-2):251-266.
B. A. Davey & H. A. Priestley (2012). Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-Based Algebras. Studia Logica 100 (1-2):137-161.
Bronisław Tembrowski (1989). B-Varieties with Normal Free Algebras. Studia Logica 48 (4):555 - 564.
Matteo Bianchi (2013). The Variety Generated by All the Ordinal Sums of Perfect MV-Chains. Studia Logica 101 (1):11-29.
G. Aldo Antonelli (1999). Free Set Algebras Satisfying Systems of Equations. Journal of Symbolic Logic 64 (4):1656-1674.
Juan Manuel Cornejo (2011). Semi-Intuitionistic Logic. Studia Logica 98 (1-2):9-25.
Roberto Cignoli (2011). Boolean Skeletons of MV-Algebras and ℓ-Groups. Studia Logica 98 (1-2):141-147.
Nguyen Cat Ho & Helena Rasiowa (1987). Semi-Post Algebras. Studia Logica 46 (2):149 - 160.
P. Aglianò, I. M. A. Ferreirim & F. Montagna (2007). Basic Hoops: An Algebraic Study of Continuous T -Norms. Studia Logica 87 (1):73 - 98.
Robert Goldblatt (1985). An Algebraic Study of Well-Foundedness. Studia Logica 44 (4):423 - 437.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3).
Robert Goldblatt (2011). Grishin Algebras and Cover Systems for Classical Bilinear Logic. Studia Logica 99 (1-3):203-227.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
Analytics
Monthly downloads |
Added to index2011-07-20Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
