Mir ist nicht ganz klar was du vorhast, die boolesche Algebra ist in wohl jeder modernen Programmiersprache von Haus aus integriert....

NACHTRAG: Und für den Tropischen Halbring brauchst du als Grundmenge die Reellen Zahlen inklusive Plus-Unendlich, mit den Operationen Min und Plus. Reelle Zahlen ahmt man gewöhnlich mit Floatingpoints nach, Hier wirst du noch einen Scalar für Unendlich definieren müssen und die Operatoren min und + entsprechend überladen müssen.

Ansatz 1: Objecte
Ansatz 2: Tied-Variablen

Obs das als Modul gibt...???

Ich würd mal in den Source von BigInt schauen und im Umfeld recherchieren. [*] Alternativ könntest du dich ja pragmatisch damit begnügen die größtmögliche Floatzahl als Ersatz für Unendlich zu nehmen. Schon der Vergleich von Booleschem und Tropischen Halbring sollte zeigen, dass ein generelles Modul für Halbringe nicht trivial machbar ist. NACHTRAG2:[*] Math::Roman oder Math::Complex zeigen wie man Zahlenräume erweitern und Operatoren überlädt.
Für den Anfang sollte es reichen dir deine eigenen subs für min() und plus() zu schreiben die auf den Scalar "Unendlich" entstprechend reagieren.