Jump to content

Talk:Łukasiewicz logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]

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)[reply]