@article { 5603,
title = {On strong standard completeness in some MTL$_\Delta$ expansions},
journal = {Soft Computing - A Fusion of Foundations, Methodologies and Applications},
volume = {21},
year = {2017},
pages = {125-147},
publisher = {Springer},
abstract = {In this paper, inspired by the previous work of Franco Montagna on infinitary axiomatizations for standard BL-algebras, we focus on a uniform approach to the following problem: given a left-continuous t-norm *, find an axiomatic system (possibly with infinitary rules) which is strongly complete with respect to the standard algebra $[0, 1]_*$. This system will be an expansion of MTL (Monoidal t-norm based logic). First, we introduce an infinitary axiomatic system $L^\infty_*$, expanding the language with Delta and countably many truth-constants, and with only one infinitary inference rule, that is inspired in Takeuti-Titani density rule. Then we show that $L^\infty_*$ is indeed strongly complete with respect to the standard algebra $[0,1]_*$. Moreover, the approach is generalized to axiomatize expansions of these logics with additional operators whose intended semantics over [0,1] satisfy some regularity conditions.
},
URL = {http://link.springer.com/article/10.1007%2Fs00500-016-2338-0},
author = {Amanda Vidal and F\'elix Bou and Francesc Esteva and Llu\'{\i}s Godo}
}