Talk:Łukasiewicz logic

Missing axiom
According to http://profs.sci.univr.it/~bonacina/papers/TR1989Lukasiewicz.pdf there's another axiom, which is missing in the article:
 * $$((A\rightarrow B)\rightarrow(B\rightarrow A))\rightarrow(B\rightarrow A)$$

--132.199.97.100 (talk) 09:22, 19 February 2009 (UTC)


 * According to your own source: "The fourth axiom was later proved to be dependent on the remaining ones". Therefore modern treatments do not include it. — Emil J. 10:52, 19 February 2009 (UTC)