Browsing Articles publicats (Informàtica i Enginyeria Industrial) by Subject "Generalized excluded middle"
Now showing items 1-1 of 1
(Wiley, 2007)It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the ...