Cut-free proof systems for logics of weak excluded middle A. CiabattoniD. M. GabbayN. Olivetti Original paper Pages: 147 - 156
Reducing signed propositional formulas G. AguileraI. P. de GuzmánA. Valverde Original paper Pages: 157 - 166
Neuro-fuzzy control based on the NEFCON-model: recent developments A. NürnbergerD. NauckR. Kruse Original paper Pages: 168 - 182
Structure and stability analysis of a Takagi–Sugeno fuzzy PI controller with application to tissue hyperthermia therapy Y. DingH. YingS. Shao Original paper Pages: 183 - 190