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)