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