 Once the truth-tabular or matrix approach to many-valued logics was established, it was natural to consider their axiomatization. Łukasiewicz’s students assisted in this. In 1931 Wajsberg axiomatized the three-valued system Ł\(_3\) by the theses