Resolution of algebraic systems of equations in the variety of cyclic Post algebras

DOI10.1007/s11225-011-9330-6zbMath1259.06012OpenAlexW1576137673MaRDI 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

zbMATH Keywords

Gröbner basesfinite fieldvariety\texttt{Maple}algebraic system of equationscyclic Post algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (1)

Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras

Uses Software

• Maple

Cites Work

• An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
• On Postian algebraic equations
• The Lattice Theory of Post Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolution of algebraic systems of equations in the variety of cyclic Post algebras