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

DOI10.1007/S11225-011-9330-6MaRDI QIDQ763314zbMATH OpenOpenAlexFDO

Authors B. F. López Martinolich, 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

finite fieldvariety\texttt{Maple}algebraic system of equationscyclic Post algebraGröbner bases

Mathematics Subject Classification ID

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

Recommendations

• An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
• Cyclic Elements in MV‐Algebras and Post Algebras
• On Postian algebraic equations
• scientific article; zbMATH DE number 1775498
• scientific article; zbMATH DE number 1918673

Cites work

• scientific article; zbMATH DE number 3897078 (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 46010 (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 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 1506798 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• 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

Cited in

(2)

• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
• An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

Describes a project that uses

Uses Software

• Maple

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763314)