Publication at Faculty of Arts |
2006
Abstract
In the m-valued Godel-Dummett logic for any m>=3, conjunction is not expressible in terms of the remaining connectives, even if the language is enhanced by constants for all truth values. The same is true for implication.