Resolution of algebraic systems of equations in the variety of cyclic Post algebras
From MaRDI portal
Publication:763314
DOI10.1007/s11225-011-9330-6zbMath1259.06012MaRDI QIDQ763314
B. F. López Martinolich, José Patricio Díaz Varela
Publication date: 9 March 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9330-6
Gröbner bases; finite field; variety; \texttt{Maple}; algebraic system of equations; cyclic Post algebra
68W30: Symbolic computation and algebraic computation
06D25: Post algebras (lattice-theoretic aspects)
03G20: Logical aspects of ?ukasiewicz and Post algebras
Uses Software
Cites Work