Up a level |
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco (2010). Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy sets and systems, 161(3), pp. 369-389. Amsterdam: Elsevier 10.1016/j.fss.2009.09.001