hi I posted this question on mathematics stackexhange ( <https://math.stackexchange.com/questions/468855/what-are-the-rosser-turquette-axioms-of-lukasiewicz-3-valued-propositional-logic> ) but did not get an helping answer (but did get two down votes) hope on this site maybe somebody can help me.


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.


I try to get the axioms out of Gottwalds book "A Treatise on Many-Valued logics" but i fear it is wrong on where he describes them (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


I do know that examples of the J functions are $ J\_1(p) = NCpNp $ , $ J\_{1/2}(p) = NCCpNpNCNpp $ and $ J\_0(p) = NCNpp $ but for the rest it is all greek to me.


hope somebody can help me here



what are the Rosser Turquette axioms of Lukasiewicz 3 valued propositional logic?
I found the book in downloadable form at <http://www.uni-leipzig.de/~logik/gottwald/treatise.pdf> , and I quickly glanced through the material up to and including the page you mention. The first observation is that the axiom you quoted as $AX\_{RT}5$ appears in this version of the book as $Ax\_{RT}6$, so, unless there is a typo in your question, an axiom has been added after the version you saw and before the version I saw (or deleted after my version and before yours). My version includes an axiom, called $Ax\_{RT}5$, that, in effect, limits the truth values to the intended set $\{0,\frac1{m-1},\dots\frac{m-2}{m-1},1\}$. It's not expressed using a disjunction as in your question but rather using an iterated implication, saying that all the implications $J\_v(A)\to B$, for all $m$ truth values $v$, together imply $B$. So, since you seemed concerned about the absence of such a limitation on truth values, I would guess that this axiom might have been missing in an early version of the book and then added later. 


You were also concerned about Gottwald's use of the axioms $J\_s(\bf s)$, one axiom "for each truth degree $s$ and each truth degree constant $\bf s$ denoting it" since some truth degrees $s$ might not be denoted by any constant. I suspect that Gottwald meant here exactly what he wrote, so that, in the situation where $s$ is not denoted by any constant, there would be no axiom for $s$ in this axiom schema (just as, if there were three constants denoting the same $s$, then there would be three axioms for $s$ in this schema). It is, of course, possible that, in my quick glance at the earlier parts of the book, I overlooked some convention requiring every truth degree to be named by a constant, but I don't think Gottwald needs or presupposes such a convention in $Ax\_{RT}6$.


Finally, you mentioned in your question a couple of specific $J$ formulas, built using negation and implication (and rendered hard to read by Polish notation). But at this point in the book, Gottwald is not assuming any particular construction of the $J$'s. He only assumes that there *exists* some appropriate $J\_s$ for each truth value $s$ and that there is an implication connective (with appropriate semantical behavior). How the $J$'s are to be constructed will depend on what other connectives are available, and this might be quite different in various logical systems. The point of these axioms is that they permit proofs of some important facts about various logical systems *without* needing to go into the details of those systems --- a classic use of the (meta-)axiomatic method.


