Interpolation in fuzzy logic |
| |
Authors: | Matthias Baaz Helmut Veith |
| |
Affiliation: | Institut für Algebra und Computermathematik, Technische Universit?t Wien, Wiedner Hauptstr. 8, A-1040 Wien, Austria (e-mail: baaz@logic.at), AT Institut für Informationssysteme, Technische Universit?t Wien, Paniglgasse 16, A-1040 Wien, Austria (e-mail: veith@dbai.tuwien.ac.at), AT
|
| |
Abstract: | We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences. Received: 10 December 1997 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|