Resolution of algebraic systems of equations in the variety of cyclic Post algebras
From MaRDI portal
Publication:763314
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
Symbolic computation and algebraic computation (68W30) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Resolution of algebraic systems of equations in the variety of cyclic Post algebras