Title | On strong standard completeness in some MTL$_\Delta$ expansions |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Vidal A, Bou F, Esteva F, Godo L |
Journal | Soft Computing - A Fusion of Foundations, Methodologies and Applications |
Volume | 21 |
Issue | 1 |
Pagination | 125-147 |
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 |