Talk:Łukasiewicz logic
Appearance
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Missing axiom
[edit]According to http://profs.sci.univr.it/~bonacina/papers/TR1989Lukasiewicz.pdf there's another axiom, which is missing in the article:
--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)