 The outstanding work that Łukasiewicz and his students accomplished in the logic and metalogic of propositional calculus, the Polish speciality of ever-shorter axioms and so on, now belongs to the bygone heroic age of logistic. Its results have indeed only been bettered occasionally by automated theorem-provers. On the other hand the emphasis on logical semantics, Łukasiewicz’s abundant use of truth-values notwithstanding, has shifted interest away from axiomatic virtuosity.