n-valued logic

For some finite n-valued logics, there is an analogous law called the law of excluded n+1th.

However, in 1956 Alan Rose discovered that for n 5, the Łukasiewicz-Moisil algebra does not model the Łukasiewicz n-valued logic.