Abstract

This paper offers several nonfinite axiomatizability results for tropical semirings. In particular, it is shown that the polar semiring, Mascle's semiring and Simon's original tropical semiring are not finitely based.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call