I am trying to get my head around the Rosser-Turquette axiomatisation of Lukasiewicz n-valued logics, but cannot really follow it.
Maybe if somebody can give me the axioms for 3 and 4 valued logic then I can figure out the others by myself. (polish notation is not a problem)
I think the description in Gottwalds "A Treatise on Many-Valued Logics" is wrong.
page 109
$ AX_{RT} 5 : J_s(s) $ for each truth degree s and each truth degree constant s denoting it,
To me it makes no sense because it is an axiomatisation and then there is no truth degree constant s for an s that is not a designated truthvalue.
As far as I remember from another text there is an axiom $ \bigvee_{s \epsilon W} J_s(p) $ to fix the number of truth degrees to n
but I maybe wrong.
Rosser-Turquette axioms are based on unary connectives that uniquely identify each truth-value. Assume $n$-ary Lukasiewicz logic to be defined with truth-values of the form $\frac{i}{n-1}$, where $0\leq i< n$, in a language having symbols for implication and for negation, with the usual interpretations suggested by Lukasiewicz. Then one might consider unary connective symbols $J_i$, for $0\leq i< n$, interpreted by setting $J_i(v)=0$ if $v=i$ and $J_i(v)=1$ otherwise (roughly as you may find in p.18 of the 1952 book by Rosser & Turquette). The axioms of the $n$-ary Lukasiewicz logic may then be easily written with the help of such additional connectives corresponding to the $J_i$ operators. It is worth noticing that such operators are not so much of an addition to Lukasiewicz logics, as they can be routinely defined by way of native Lukasiewicz implication and negation. Notice also that nowadays such axiomatization mechanisms are known to be extendable from Lukasiewicz logics to any other finite-valued logic (you might want to check in particular the literature on algorithmic versions of Suszko's Thesis).