Super-Łukasiewicz propositional logics
Yuichi Komori · Nagoya Mathematical Journal · 1981
In [8] (1920), Łukasiewicz introduced a 3-valued propositional calculus with one designated truth-value and later in [9], Łukasiewicz and Tarski generalized it to an m-valued propositional calculus (where m is a natural number or ) with one designated truth-value.