A Lesniewski-Mihailescu-theorem for m-valued propositional calculi Götlind, Erik — 1951 Portugaliae mathematica