Salomaa memberikan aksiomatisasi lengkap dari aljabar ini, namun bergantung pada aturan inferensi yang bermasalah.
Salomaa memberikan aksiomatisasi parsial dari aljabar ini, bebas dari aturan inferensi yang bermasalah.